Outils pour utilisateurs

Outils du site


admin:procedures:ajouter-animateur-service

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentesRévision précédente
Prochaine révisionLes deux révisions suivantes
admin:procedures:ajouter-animateur-service [2021/09/02 19:22] – [Accès ssh] ForwardAgent yes = mauvaise idée pitchumadmin:procedures:ajouter-animateur-service [2021/10/17 10:02] – éviter de "leaker" les variables d'environnement GIT ("export" n'est pas nécessaire) pilou
Ligne 41: Ligne 41:
 En cas de multiples identités GIT de l'animateur, une astuce peut consister à définir un alias dans son .bashrc : En cas de multiples identités GIT de l'animateur, une astuce peut consister à définir un alias dans son .bashrc :
 <code> <code>
-alias sshapril='export GIT_AUTHOR_NAME='\''Foo FOO'\''; export GIT_AUTHOR_EMAIL='\''foo@april.org'\''ssh '+alias sshapril='GIT_AUTHOR_NAME='\''Foo FOO'\'' GIT_AUTHOR_EMAIL='\''foo@april.org'\'' ssh '
 </code> </code>
 Ensuite pour se connecter : Ensuite pour se connecter :
admin/procedures/ajouter-animateur-service.txt · Dernière modification : 2023/11/21 21:49 de claver