summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--dotfiles/.bash_profile32
1 files changed, 4 insertions, 28 deletions
diff --git a/dotfiles/.bash_profile b/dotfiles/.bash_profile
index 8e0c3c8..1297ee0 100644
--- a/dotfiles/.bash_profile
+++ b/dotfiles/.bash_profile
@@ -1,38 +1,14 @@
# -*- shell-script -*-
-# Test if this is a GuixSD system.
-function guixsd() {
- return `test -d /run/current-system`
-}
-export -f guixsd
-
-# Test if this is my VHL workstation
-function vhl() {
- return `test $(hostname) == "7VWJD42"`
-}
-export -f vhl
-
# Honor per-interactive-shell startup file
-if [ -f ~/.bashrc ]; then . ~/.bashrc; fi
-
-export EDITOR=emacsclient
+if [ -f ~/.bashrc ]; then
+ source ~/.bashrc
+fi
if [ -f $HOME/.guix-profile/etc/profile ]
then
source $HOME/.guix-profile/etc/profile
fi
-# Extra configuration needed for work machine.
-if vhl
-then
- source /etc/profile.d/rvm.sh
- export GIT_SSL_CAINFO=/etc/ssl/certs/ca-certificates.crt
-fi
-
export PATH="$HOME/.config/guix/current/bin${PATH:+:}$PATH"
-export AWS_REGION="us-east-1"
-
-if [ -f $HOME/.bash_profile.local ]
-then
- source $HOME/.bash_profile.local
-fi
+export EDITOR=emacsclient