Skip to content

Instantly share code, notes, and snippets.

@bingalls
bingalls / gist:a0506d6c02192e312b2d2c5742f8d4c2
Created August 24, 2017 19:32
List stale git branches that were already merged into master
git branch -r --merged master | sed 's|origin/||' | sort -u
@bingalls
bingalls / # php - 2018-12-11_14-06-56.txt
Created December 11, 2018 19:32
php on macOS 10.11.6 - Homebrew build logs
Homebrew build logs for php on macOS 10.11.6
Build date: 2018-12-11 14:06:56
@bingalls
bingalls / renameDatabase.sh
Last active November 9, 2015 20:41
Mysql hack, to rename databases
#!/bin/bash
# renameDatabase.sh Rename a Mysql database, by moving all its tables
if [ $# -ne 2 ];then
echo "Usage: `basename $0` srcDatabase destDatabase"
echo 'Both database schemas must already exist. Escape any spaces in password with "\"'
exit
fi
echo "About to bulk rename $1 tables into $2. Control-C to quit"