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édentes Révision précédente
admin:procedures:ajouter-animateur-service [2019/10/13 15:26]
cpm [Accès ssh]
admin:procedures:ajouter-animateur-service [2020/01/13 04:10] (Version actuelle)
admin [Accès ssh]
Ligne 39: Ligne 39:
 </​code>​ </​code>​
  
 +==== Astuce multi-comptes ====
 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>​
admin/procedures/ajouter-animateur-service.txt · Dernière modification: 2020/01/13 04:10 par admin