diff options
| author | n-peugnet <n.peugnet@free.fr> | 2022-03-31 17:17:05 +0200 |
|---|---|---|
| committer | n-peugnet <n.peugnet@free.fr> | 2022-03-31 17:17:05 +0200 |
| commit | 92016de49b63e96c2c8db047aadea4d54c9eb81f (patch) | |
| tree | 48d2e2c007f11b21fabab265b7d37d2d4951c909 /services | |
| parent | efe892f171e1e8b1a9ccd3e25b3b2a03060c14bb (diff) | |
| download | club1-docs-92016de49b63e96c2c8db047aadea4d54c9eb81f.tar.gz club1-docs-92016de49b63e96c2c8db047aadea4d54c9eb81f.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 : |