diff options
-rwxr-xr-x | terminal | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -28,8 +28,12 @@ if [ ! -z "$FONT" ]; then fi # Set shell -#SH="bash -rcfile $HOME/.terminal" -SH="zsh" +# +# Always use interactive mode (--login or -i) to avoid weird behavior like +# one found with vim and NERDTree. +# +#SH="bash --login -i -rcfile $HOME/.terminal" +SH="zsh -i" # Dispatch if [ "$TERM" == "stterm" ]; then |