diff options
Diffstat (limited to '.bash_profile')
| -rw-r--r-- | .bash_profile | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/.bash_profile b/.bash_profile index 65cbbb1..56b565e 100644 --- a/.bash_profile +++ b/.bash_profile @@ -10,8 +10,3 @@ then fi source "$HOME/.config/shell/profile" - -#if [[ $(ps --no-header --pid=$PPID --format=comm) != "fish" && -z ${BASH_EXECUTION_STRING} ]] -#then -# exec fish -#fi |
