shell: more flexible per-host profile configuration
[~bandali/configs] / .bash_profile
index d5f7cc9..61cb5cf 100644 (file)
@@ -1,2 +1 @@
-[[ -f ~/.profile ]] && . ~/.profile
-[[ -f ~/.bashrc ]] && . ~/.bashrc
+if [ -f "$HOME/.profile" ]; then . "$HOME/.profile"; fi