changeset 1155:749c9c372983

show all call args in terminal title Ignore-this: d195cabffe26f3822ddd118358c8aaab
author drewp@bigasterisk.com
date Sat, 14 Jun 2014 23:40:45 +0000
parents 1e97f96ee00c
children f66586649ae3
files bin/run_local.py
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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