diff options
Diffstat (limited to 'common/.bash_profile')
| -rw-r--r-- | common/.bash_profile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/common/.bash_profile b/common/.bash_profile new file mode 100644 index 0000000..f6c3ee4 --- /dev/null +++ b/common/.bash_profile @@ -0,0 +1,11 @@ +# ~/.bash_profile + +# Source ~/.profile if it exists (environment variables) +if [ -f "$HOME/.profile" ]; then + . "$HOME/.profile" +fi + +# Source ~/.bashrc for interactive settings (aliases, prompt, etc.) +if [ -f "$HOME/.bashrc" ]; then + . "$HOME/.bashrc" +fi |