diff options
| -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" |