alias: Add git profile switch aliases

.bash_aliases

@@ -171,7 +171,7 @@ function grbi {
   git checkout ${PARENT}
   git pull
 
-  echo "Rebasing on ${PARENT}"
+  echo "Rebasing on" ${PARENT}
 
   # Back to previous branch
   git checkout ${BRANCH}
@@ -196,7 +196,7 @@ function gai {
   # Save parent branch
   PARENT=$(git_parent)
 
-  echo "Rebasing with autofixup on ${PARENT}"
+  echo "Rebasing with autofixup on" ${PARENT}
 
   git autofixup ${PARENT}
   git rebase --interactive --autosquash ${PARENT}
@@ -206,21 +206,14 @@ function gai {
 # ║ ╦│ │   ╠═╝├┬┘│ │├┤ ││  ├┤
 # ╚═╝┴ ┴   ╩  ┴└─└─┘└  ┴┴─┘└─┘
 
-function git_config {
-  echo "User: $(git config user.name)"
-  echo "Mail: $(git config user.email)"
-}
-
 function git_pro {
   git config --global user.name "Robin-Charles GUIHENEUF"
   git config --global user.email rguiheneuf@netatmo.com
-  git_config
 }
 
 function git_perso {
   git config --global user.name "Robin-Charles Guihéneuf"
   git config --global user.email robin-charles@hotmail.fr
-  git_config
 }
 
 # ╔═╗┬┌┬┐  ╔═╗┌┬┐┌─┐┌┐┌┌┬┐

codium/settings.json

@@ -51,5 +51,6 @@
     "vsintellicode.modify.editor.suggestSelection": "automaticallyOverrodeDefaultValue",
     "C_Cpp.intelliSenseEngine": "Tag Parser",
     "diffEditor.ignoreTrimWhitespace": false,
-    "python.languageServer": "Microsoft"
+    "python.languageServer": "Microsoft",
+    "gitlab.instanceUrl":"https://gitlab.corp.netatmo.com"
 }