sbi.re

Git

Auteurices : flupe
Date d'ajout : 05 Mai 2021
Modifié le : 19 Novembre 2021
[source]

Les sbires hébèrgent leur propre serveur git pour les services faits maison. Les dépôts publiques se consultent à l’addresse git.sbi.re.

Il est possible de cloner n’importe quel dépôt publique — sans autorisation préalable — en faisant :

$ git clone https://git.sbi.re/depot

Les clones réalisés ainsi sont en lecture seule.

Autorisation et clés SSH

Pour pouvoir contribuer facilement aux dépôts et pouvoir héberger les tiens, il va falloir demander l’accès à un admin et lui fournir une clé publique SSH qui servira à t’authentifier.

L’administrateur n’a plus qu’à exécuter la commande :

$ cat id.pub > ssh git@sbi.re keys add -user <pseudo> <appareil>

Le serveur SSH est accessible depuis l’exterieur sur le port 222 plutot que le port usuel 22, il faut donc penser à parametrer SSH pour utiliser le bon port systematiquement. Dans ~/.ssh/config, rajouter :

Host sbi.re
Port 222

Dépôts utilisateurs

Tu peux dès à présent héberger tes propres dépôts sous le format ~pseudo/depot. Pour en créer un nouveau, il suffit d’ajouter un remote et de push, il sera créé sur le serveur automatiquement.

$ git remote add origin git@sbi.re:~pseudo/projet
$ git push -u origin master

Par défaut, le dépôt est publique, c’est à dire lisibile — et clonable — par tous. En revanche, tu es le seul à pouvoir le modifier.

Sbire Shell

Tu peux accéder à notre shell maison, qui te permet d’exécuter quelques commandes d’administration.

$ ssh git@sbi.re

Il est possible de lancer les commandes sans utiliser le shell interactif :

$ ssh git@sbi.re <commande> [arguments]

Pour un résumé des commandes disponibles :

$ ssh git@sbi.re help

Changer la description d’un dépôt

A condition d’avoir les droits en écriture, exécuter la commande :

$ ssh git@sbi.re desc <depot> <description>
$ ssh git@sbi.re desc wiki "Le wiki des sbires"

Gérer ses clés SSH

Pour ajouter d’autres clés SSH d’authentification, pour de nouveaux appareil, faire ainsi :

  • Lister les clés actuellement autorisées :

    $ ssh git@sbi.re keys
    
  • Ajouter une nouvelle clé SSH id.pub pour l’appareil laptop :

    $ cat id.pub > ssh git@sbi.re keys add laptop
    

Autres

Aucune interface n’est en ligne pour contribuer aux dépôts à l’instar de Github, Gitlab ou autre plateforme du genre. C’est un choix assumé, et la méthode à privilégier et d’utiliser le mail. Voir le guide suivant pour apprendre à collaborer par mail.