From 373fe4c8dd01ca057dc3707e285fa10d75edf6d5 Mon Sep 17 00:00:00 2001
From: David Thompson <dthompson2@worcester.edu>
Date: Fri, 2 Dec 2022 12:41:00 -0500
Subject: Clean up bash profile.

---
 dotfiles/.bash_profile | 32 ++++----------------------------
 1 file 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
-- 
cgit v1.2.3