diff options
-rwxr-xr-x | bin/xvt | 5 |
1 files changed, 0 insertions, 5 deletions
@@ -63,11 +63,6 @@ if [[ -z "$TERMINAL" ]]; then fi if [[ -n "$TERMINAL" ]]; then - # keep the same behaviour between all terminals - if [[ "`basename ${TERMINAL%% *}`" = "konsole" ]]; then - TERMINAL="$TERMINAL --nofork" - fi - exec $TERMINAL "$@" else echo "no terminal emulator detected" |