diff options
| -rw-r--r-- | .bash_profile | 2 | ||||
| -rw-r--r-- | .bashrc | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/.bash_profile b/.bash_profile index f41056d..d65bb56 100644 --- a/.bash_profile +++ b/.bash_profile @@ -4,4 +4,4 @@ include () { include ~/.profile include ~/.nix-profile/etc/profile.d/nix.sh -include ~/.bashrc +[[ $TERM = "eterm-color" || $TERM = "screen" ]] || include ~/.bashrc @@ -1,6 +1,8 @@ # If not running interactively, don't do anything else [[ $- != *i* ]] && return +[[ $TERM = "eterm-color" || $TERM = "screen" ]] && source ~/.bash_profile + # from https://unix.stackexchange.com/a/55935 a_prompt() { cwd=$(sed -e "s:$HOME:~:" -e "s:\(\.\?[^/]\)[^/]*/:\1/:g" <<<$PWD) |