# HG changeset patch # User drewp@bigasterisk.com # Date 2013-06-12 07:31:21 # Node ID f92550d3300411c240eee39274dc3c57ae828fb2 # Parent 8435e3ee1ec2fd8c64ac2c59c646724bff3e88d7 comment Ignore-this: a07548dfc59119492568a4deb8ea4c92 diff --git a/bin/run_local.py b/bin/run_local.py --- a/bin/run_local.py +++ b/bin/run_local.py @@ -35,3 +35,6 @@ def setTerminalTitle(s): 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