[robot] alias -> function

tue-robotics · Oct 22, 2024 · 7fd461b · 7fd461b
1 parent ec19bc2
commit 7fd461b
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/robot/setup b/robot/setup
@@ -4,11 +4,14 @@
 export ROBOT_REAL=true
 
 # Logout global git user on robot
-alias git-logout='git config --global --get user.name > /dev/null && git config --global --remove user'
+function git-logout
+{
+    git config --global --get user.name > /dev/null && git config --global --remove user
+}
 
 # If this is run the first since this computer was started, remove
 # the user details (forcing the user to 'log-in')
-if [ ! -f /tmp/git-removed-user-details ]
+if [[ ! -f /tmp/git-removed-user-details ]]
 then
     touch /tmp/git-removed-user-details
     git-logout