# HG changeset patch
# User drewp@bigasterisk.com
# Date 1402789245 0
# Node ID 749c9c372983f4213f6ef844864fadbe811a9ff8
# Parent  1e97f96ee00ca7be78722436bb38aeed804fb231
show all call args in terminal title
Ignore-this: d195cabffe26f3822ddd118358c8aaab

diff -r 1e97f96ee00c -r 749c9c372983 bin/run_local.py
--- a/bin/run_local.py	Sat Jun 14 23:08:09 2014 +0000
+++ b/bin/run_local.py	Sat Jun 14 23:40:45 2014 +0000
@@ -40,7 +40,7 @@
         print "\033]0;%s\007" % s # not escaped/protected correctly
 
 if 'listsongs' not in sys.argv[0]:
-    setTerminalTitle(sys.argv[0])
+    setTerminalTitle(' '.join(sys.argv))
 
 # see http://www.youtube.com/watch?v=3cIOT9kM--g for commands that make
 # profiles and set background images