bash bug user -> USER

diff --git a/library/bashrc b/library/bashrc
index 67a3e8e..ba34dad 100644 (file)
--- a/library/bashrc
+++ b/library/bashrc
@@ -33,7 +33,7 @@ if [[ -n "$DISPLAY" ]] && command -v gsettings >/dev/null 2>&1; then
 fi
 
 # Developer-specific env
-if [[ "$user" == "Thomas-developer" ]]; then 
+if [[ "$USER" == "Thomas-developer" ]]; then 
   export REPO_DIR=$(home)
 fi