Git et thor

Changer son nom d'utilisateur git pour thor

Dans ~/.netrc:

machine thor.enseirb-matmeca.fr login mon-login-a-l-ecole

Dans ~/.gitconfig:

[url "https://mon-login-a-l-ecole@thor.enseirb-matmeca.fr/"]
  insteadOf = https://thor.enseirb-matmeca.fr/

Utiliser des clés ssh pour accéder a thor (~/.gitconfig)

[url "ssh://git@thor.enseirb-matmeca.fr:2222/"]
  insteadOf = ssh://thor.enseirb-matmeca.fr/