From c34281005b835e00ce20293ce3ebd0e4b01781b7 Mon Sep 17 00:00:00 2001
From: Christian Ringger <ringger@phys.ethz.ch>
Date: Fri, 7 Oct 2022 11:44:36 +0200
Subject: [PATCH] changes in globi profile
---
profile/globi/envrcd.d/20-aliases | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/profile/globi/envrcd.d/20-aliases b/profile/globi/envrcd.d/20-aliases
index b90b1d4..cf22bd8 100644
--- a/profile/globi/envrcd.d/20-aliases
+++ b/profile/globi/envrcd.d/20-aliases
@@ -5,6 +5,6 @@ alias kc='eval $(keychain --nogui --eval --agents ssh,gpg --quick id_rsa 99EEA27
alias kcs='eval $(keychain --nogui --eval --agents ssh --quick id_rsa)'
unalias git
-if [ "${ENVRCD_USER}" != "globi" ] || [ "${HOSTNAME}" != "portus" ] || [ "${USER}" != "chringge" ]; then
+if [ "${ENVRCD_USER}" != "globi" ] || [ "${HOSTNAME}" != "PORTUS" ] || [ "${USER}" != "chringge" ]; then
alias git="HOME=${ENVRCD_PROFILE_PATH} git"
-fi
\ No newline at end of file
+fi
--
GitLab