Fiche 3 Autre procédure de configuration de stockage des identifiants gitlab/github
Cette procédure est liée à la personnalisation de votre « profil » pour un exécutable git.
Elle vise à enregistrer vos identifiants d’authentification git pour ne plus avoir à les renseigner à chaque fois que vous intéragissez avec un dépôt distant (= un remote, ou = un serveur github ou gitlab), par exemple lorsque que vous souhaitez pousser des modifications ou récupérer des modifications enregistrées sur le serveur distant.
Pré-requis
Il est nécessaire d’avoir déjà déclaré à votre exécutable git votre nom et votre adresse email au moins une fois (pour qu’il puisse signer vos commit), au niveau de ses options globales.
Pour cela, adaptez les instructions :
git config --global user.email "chri.bel@developpement-durable.gouv.fr"
git config --global user.name "chrichri"
avec votre nom et votre adresse mail.
Lancez-les dans le terminal de commande de RStudio (utilisez les touches maj + inser pour coller car ctrl+V n’y fonctionne pas)
Si vous changez d’exécutable git, c’est à dire vous changez de PC ou exécutez R sur une autre machine comme un serveur (intranet, sspcloud, bakacode, serveur des DREAL…), il vous faudra refaire cette configurable globale de git.
Si votre exécutable git fonctionne sur un PC ou un serveur hébergé dans le RIE, il peut être nécessaire de lui déclarer le proxy pour atteindre les serveurs distants :
git config --global http.proxy http://pfrie-std.proxy.e2.rie.gouv.fr:8080/
git config --global https.proxy http://pfrie-std.proxy.e2.rie.gouv.fr:8080/
git config --global credential.proxy pfrie-std.proxy.e2.rie.gouv.fr:8080
Pour cela, lancez ces 3 instructions ci-dessus dans le terminal de commande de RStudio (utilisez les touches maj + inser pour coller, puis Entrée)
Vérifier si les pré-requis sont ok
Vous pouvez vérifier ce que contient votre profil git global sur une machine en exécutant
git config --global --list
dans le terminal.
Cette instruction va imprimer dans le terminal les options déjà configurées.
Vous pourrez vérifier que les paramètres d’identité user.email et user.name, et les 3 liés au proxy ( http.proxy, https.proxy, credential.proxy) sont bien renseignés si vous travaillez depuis un poste RIE.
Stockage des identifiants
Cette partie de la procédure ne concerne qu’une forge à la fois et un exécutable git à la fois.
Autrement dit : pour déclarer ses identifiants git à votre PC il faut la suivre :
- 1 fois pour gitlab-forge
- 1 fois pour gitlab.com, si vous travaillez sur des dépôt dont l’url commence par gitlab.com (par exemple dans le cadre des projets propre inter DREAL)
- 1 fois pour github, si vous travaillez sur des dépôt dont l’url commence par github.com
Lien vers le tutoriel originel en 3 étapes
Etape 1 - Créer un tocken d’accès personnel sur le serveur git distant
Aller au niveau de votre profil sur le serveur git distant, trouver le menu de création des jetons personnels (voir liens ci après).
Demander à créer un nouveau jeton, donnez lui toutes les autorisations en cochant toutes les cases à cocher et créer le token.
Copier-le sur un fichier texte accessible de vous seuls pour pouvoir le retrouver par la suite.
Profitez en pour repérer quel est votre nom d’utilisateur court pour ce serveur (regardez le nom sous votre image de profil, derrière le @) :

ici jengelaere.
Liens vers les pages de création de jeton d’accès personnels :
Etape 2 - Déclarer votre tocken d’accès personnel à votre exécutable git
Dans le terminal RStudio, lancer la procédure de stockage avec la commande :
git credential fill
après avoir appuyé sur Entrée, le curseur se place sur une nouvelle ligne, il est en attente des informations suivantes :
- pour quel serveur distant ?
- avec quel protocole d’échanges ?
- quelles sont les valeurs des identifiants à enregistrer ?
Placez-y les 4 lignes ci dessous après les avoirs personnalisées avec vos informations personnelles :
protocol=https
host=gitlab-forge.din.developpement-durable.gouv.fr
username=chrichri
password=glpat-xxxx
host est le début de l’url du serveur git distant.
Le username est votre nom d’utilisateur court pour le serveur déclaré au niveau de host, et le mot de passe est le jeton d’accès personnel créé à l’étape précédente.
Après avoir saisi ces 4 informations, il faut appuyer deux fois sur entrée pour confirmer que la procédure s’arrête là.
Il faut redémarrer ensuite votre session R pour que ces informations soit exploitables dans votre projet RStudio.
Etape 3 - Vérification
Au redémarrage de session, vous pouvez vérifier que le paramétrage est ok.
En reprenant la procédure précédente avec seulement les trois premières instructions, on demande à git de nous révéler notre saisie :
git credential fill
<--Entrée-->
protocol=https
host= gitlab-forge.din.developpement-durable.gouv.fr
<--Entrée-->
Si la configuration a bien été enregistrée, on peut lire dans le terminal les informations d’identification trouvées par git pour le serveur host avec le protocole https.
Si aucune information d’identification n’a été trouvée, Git demande le nom d’utilisateur et le mot de passe à enregistrer.