shell: more flexible per-host profile configuration

[~bandali/configs] / .bash_profile

diff --git a/.bash_profile b/.bash_profile
index d65bb56..61cb5cf 100644 (file)
--- a/.bash_profile
+++ b/.bash_profile
@@ -1,7 +1 @@
-include () {
-    [[ -f "$1" && -r "$1" ]] && source "$1"
-}
-
-include ~/.profile
-include ~/.nix-profile/etc/profile.d/nix.sh
-[[ $TERM = "eterm-color" || $TERM = "screen" ]] || include ~/.bashrc
+if [ -f "$HOME/.profile" ]; then . "$HOME/.profile"; fi