diff options
| author | n-peugnet <n.peugnet@free.fr> | 2022-03-31 17:17:05 +0200 |
|---|---|---|
| committer | Nicolas Peugnet <n.peugnet@free.fr> | 2022-03-31 23:29:53 +0200 |
| commit | fa0ad2eb2ecf48260f626b22d059204ef3a2ad60 (patch) | |
| tree | 48d2e2c007f11b21fabab265b7d37d2d4951c909 /services | |
| parent | 6dbb91198ed67dd02bdda0ed0d35f9afbb153d9c (diff) | |
| download | club1-docs-fa0ad2eb2ecf48260f626b22d059204ef3a2ad60.tar.gz club1-docs-fa0ad2eb2ecf48260f626b22d059204ef3a2ad60.zip | |
docs: git replace tee with sponge
Diffstat (limited to 'services')
| -rw-r--r-- | services/git.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/services/git.md b/services/git.md index ae08a19..b252676 100644 --- a/services/git.md +++ b/services/git.md @@ -31,12 +31,12 @@ 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 + echo "ref: refs/heads/main" | ssh <login>@club1.fr sponge 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 + echo "ma super description" | ssh <login>@club1.fr sponge git/<repo>/description Il y a ensuite deux cas de figure : |