spicycode

# 0 is too far from ` ;)
set -g base-index 1

# Automatically set window title
set-window-option -g automatic-rename on
set-option -g set-titles on

#set -g default-terminal screen-256color
set -g status-keys vi
set -g history-limit 10000

jappy

#! /bin/sh

for x
do
    echo "Converting $x"
    tr -d '\015' < "$x" > "tmp.$x"
    mv "tmp.$x" "$x"
done

lalinsky

<?php

	include "utils.php";

	$fp = parse_fp($_GET['fp']);

	$dbh = new PDO('mysql:host=localhost;dbname=fingerprint', 'fingerprint');

	$dbh->beginTransaction();
	$sth = $dbh->prepare("INSERT INTO fp (length) VALUES (?)");

m14t

#/bin/bash
#-- Script to automate https://help.github.com/articles/why-is-git-always-asking-for-my-password

REPO_URL=`git remote -v | grep -m1 '^origin' | sed -Ene's#.*(https://[^[:space:]]*).*#\1#p'`
if [ -z "$REPO_URL" ]; then
  echo "-- ERROR:  Could not identify Repo url."
  echo "   It is possible this repo is already using SSH instead of HTTPS."
  exit
fi

willurd

Each of these commands will run an ad hoc http static server in your current (or specified) directory, available at http://localhost:8000. Use this power wisely.

Discussion on reddit.

Python 2.x

$ python -m SimpleHTTPServer 8000

hofmannsven

MySQL

Getting started

• http://www.sqlteaching.com/
• https://www.codecademy.com/learn/learn-sql
• https://www.codecademy.com/catalog/language/sql

Related tutorials

• MySQL-CLI
• Analyzing Business Metrics

chuckbjones

#/bin/bash
#-- Script to automate https://help.github.com/articles/why-is-git-always-asking-for-my-password
# Forked from the original to do the opposite:  Switch ssh repo urls to https
# Original here: https://gist.github.com/m14t/3056747
# Thanks to @m14t

#origin or upstream
REMOTE=${1-origin}

REPO_URL=`git remote -v | grep -m1 "^$REMOTE" | sed -Ene's#.*(git@github.com:[^[:space:]]*).*#\1#p'`

philippschmitt

/*
	
    This script counts all photos that are available on Flickr and Panoramio for a specific geo fence and returns a JSON object with the data.
    For convenience it's embedded in a little node.js server so that you can upload it to your server and use it as an API.
    
    Here's an example url with all query attributes prefilled. Please use your own Flickr API key!
    The location is the Berlin TV Tower (http://en.wikipedia.org/wiki/Fernsehturm_Berlin)
    
    Example URL: http://piccounter-philippschmitt.rhcloud.com/?lat=52.520732&lon=13.409537&latRes=0.00015&lonRes=0.0003&flickrKey=60d03369d3e92b4578c8f2df2de5af66
    

jh0ker

from led.PixelEventHandler import *

[...]

# Event Loop
for pgevent in pygame.event.get():
    event = process_event(pgevent)
    
    if event.type == PUSH and event.player == PLAYER1:
        # Movements

spalladino

# Backup
docker exec CONTAINER /usr/bin/mysqldump -u root --password=root DATABASE > backup.sql

# Restore
cat backup.sql | docker exec -i CONTAINER /usr/bin/mysql -u root --password=root DATABASE