diff options
author | Silvio Rhatto <rhatto@riseup.net> | 2020-05-13 11:09:48 -0300 |
---|---|---|
committer | Silvio Rhatto <rhatto@riseup.net> | 2020-05-13 11:09:48 -0300 |
commit | d91fc04a56569e15b0c82f92542c59d5d9f7f306 (patch) | |
tree | 1495283d962ed6ffc735323862b1df7e0b4ca7dc | |
parent | b942fce2c336de23a7abb3c969e0d1f90471f2f6 (diff) | |
download | utils-x11-d91fc04a56569e15b0c82f92542c59d5d9f7f306.tar.gz utils-x11-d91fc04a56569e15b0c82f92542c59d5d9f7f306.tar.bz2 |
Fix: terminal: always use interactive mode for shell invocation
-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 |