diff options
| -rw-r--r-- | services/git.md | 78 | ||||
| -rw-r--r-- | services/index.md | 1 |
2 files changed, 79 insertions, 0 deletions
diff --git a/services/git.md b/services/git.md new file mode 100644 index 0000000..e00e435 --- /dev/null +++ b/services/git.md @@ -0,0 +1,78 @@ +Dépôts Git publics +================== + +Le dossier `git/`, à la racine de l'**espace personnel** est particulier. +Les dépôts Git rangés dedans seront automatiquement publiés en _lecture seule_ +à l'adresse `https://git.club1.fr`, par exemple : + +[`https://git.club1.fr/nicolas/dna-backup/`](https://git.club1.fr/nicolas/dna-backup/) +→ `/home/nicolas/git/dna-backup/` + +Cette adresse permet 2 choses : + +1. Cloner le dépôt Git avec `git clone` grâce au + [git-http-backend](https://git-scm.com/docs/git-http-backend). +2. Consulter rapidement le dépôt et le sources dans un navigateur grâce à + l'interface web [cgit](https://git.zx2c4.com/cgit/about/). + +Tutoriel d'utilisation +---------------------- + +Pour utiliser la fonctionnalité de dépôts Git publics sur CLUB1, il faut tout +d'abord initialiser le dépôt à distance, avec [SSH](ssh), depuis un ordinateur personnel +(remplacer `<login>` par votre **identifiant** et `<repo>` par le nom que vous +voulez donner au dépôt) : + + ssh <login>@club1.fr git init --bare git/<repo> + +Dès lors, le dépôt est publié en _lecture seule_ à l'adresse +`https://git.club1.fr/<login>/<repo>`, mais celui-ci est vide pour le +moment. La branche affichée par défaut dans l'interface web est `master`. +Il est possible de la changer en modifiant le fichier `HEAD` du dépôt. +Par exemple pour la remplacer par la branche `main` : + + echo "ref: refs/heads/main" | ssh <login>@club1.fr tee git/<repo>/HEAD + +De la même manière, pour modifier la description du dépôt (cette modification +ne sera pas forcément visible tout de suite à cause du cache de cgit) : + + echo "ma super description" | ssh <login>@club1.fr tee git/<repo>/description + +Il y a ensuite deux cas de figure : + +- Création d'un nouveau dépôt +- Publication d'un dépôt existant + +### Création d'un nouveau dépôt + +Si le but est de créer un nouveau dépôt, alors le plus simple consiste +à cloner celui-ci sur votre ordinateur personnel. +On utilise pour cela l'adresse [SSH](ssh) car elle offre un accès en écriture +au dépôt : + + git clone <login>@club1.fr:git/<repo> + +Un avertissement alertera sur le fait que le dépôt ainsi cloné est vide, ce +qui est normal : + + warning: You appear to have cloned an empty repository. + +Il est désormais possible d'utiliser ce dépôt comme tout autre dépôt Git, +par exemple : + + cd <repo> + echo 'Hello World!' >> README + git add README + git commit -m "add Hello World README" + git push origin + + +### Publication d'un dépôt existant + +Si le but est de publier un dépôt existant, alors il suffit d'ajouter le +dépôt distant aux _remotes_ et d'y pousser la branche désirée, par exemple +pour la branche `main` (l'option `--set-upstream` permet d'en faire la +_remote_ par défaut pour cette branche) : + + git remote add club1 <login>@club1:git/<repo> + git push --set-upstream club1 main diff --git a/services/index.md b/services/index.md index bbb5e35..24d0016 100644 --- a/services/index.md +++ b/services/index.md @@ -16,4 +16,5 @@ ftps ssh web mysql +git ``` |