diff options
| -rw-r--r-- | .bashrc | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -9,6 +9,11 @@ # ~/.bashrc # +if [[ $- != *i* ]]; then + . ~/.profile + return +fi + # Get the current active terminal term="$(cat /proc/$PPID/comm)" |
![]() |
index : dotfiles | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiff |
| -rw-r--r-- | .bashrc | 5 |
@@ -9,6 +9,11 @@ # ~/.bashrc # +if [[ $- != *i* ]]; then + . ~/.profile + return +fi + # Get the current active terminal term="$(cat /proc/$PPID/comm)" |