# HG changeset patch # User drewp@bigasterisk.com # Date 1371022281 0 # Node ID f92550d3300411c240eee39274dc3c57ae828fb2 # Parent 8435e3ee1ec2fd8c64ac2c59c646724bff3e88d7 comment Ignore-this: a07548dfc59119492568a4deb8ea4c92 diff -r 8435e3ee1ec2 -r f92550d33004 bin/run_local.py --- a/bin/run_local.py Wed Jun 12 05:01:02 2013 +0000 +++ b/bin/run_local.py Wed Jun 12 07:31:21 2013 +0000 @@ -35,3 +35,6 @@ print "\033]0;%s\007" % s # not escaped/protected correctly setTerminalTitle(sys.argv[0]) + +# see http://www.youtube.com/watch?v=3cIOT9kM--g for commands that make +# profiles and set background images