diff options
author | Jonas Smedegaard <dr@jones.dk> | 2016-10-22 11:53:06 +0200 |
---|---|---|
committer | Jonas Smedegaard <dr@jones.dk> | 2016-10-22 11:53:06 +0200 |
commit | 99dcf872d0d77130559f54abe4a367fb1843668d (patch) | |
tree | 86090d7340b2328edf84fdd860a46dd818aa31c7 | |
parent | e3b3a60fc5de32cc264e88043af31b888b832881 (diff) |
Stop tune terminal emulator decoration (better done with dot-files).
-rwxr-xr-x | xsh | 19 |
1 files changed, 2 insertions, 17 deletions
@@ -14,13 +14,9 @@ termwrapper() { fi if [ -n "$PRG" ]; then -# x-terminal-emulator +sb -sl 500 -e $PRG & - x-terminal-emulator $opts -e $PRG & -# exec x-terminal-emulator $opts -e $PRG & + x-terminal-emulator -e $PRG & else -# exec x-terminal-emulator +sb -sl 500 & - x-terminal-emulator $opts & -# exec x-terminal-emulator $opts & + x-terminal-emulator & fi } @@ -54,17 +50,6 @@ if [ $# -gt 0 ]; then prg_opts=$@ fi -case `readlink /etc/alternatives/x-terminal-emulator | xargs basename` in -# rxvt*) opts="+sb -sl 500";; - rxvt*) opts="+sb -sl 500 -ls";; - urxvt*) opts="+sb -sl 500 -ls";; - *xterm) opts="+sb -sl 500 +wc";; - gnome-terminal) opts="";; - gnome-terminal.wrapper) opts="";; - konsole*) opts="--notoolbar";; - *) opts="";; -esac - # Pause for a moment if verbose if [ "$V" = 1 ]; then prg_opts="$prg_opts; sleep 4" |