diff options
| -rw-r--r-- | dotfiles/.bash_profile | 32 |
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 |