diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2024-05-26 17:12:35 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2024-05-26 17:12:35 +0200 |
| commit | 957ed79d7ccf90b9016e4345ed628faec8627b5b (patch) | |
| tree | 2466a923c799ed4f920fae68c3bef2a017dda08c | |
| parent | 12395e13642cf9514b4cebeab0e36f86ec40bcb3 (diff) | |
use inline hint githostref; drop hint githost
| -rw-r--r-- | USE.md | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -10,7 +10,7 @@ NB! This documentation uses special strings which you may want to adapt for your local setup: -githost: source.example.org +githostref: src.ex... gitshellhost: git.example.org @@ -62,7 +62,7 @@ To collaborate on a shared git repository, first create a local copy from the shared location: ```shell -git clone git.example.org:/srv/git/source.example.org/example.git +git clone git.example.org:/srv/git/src.ex.../example.git ``` Then from time to time syncronize, @@ -82,8 +82,8 @@ then tell your local git where its new origin will be, and finally push your local git into its new public location: ```shell -ssh git.example.org git init --bare --shared /srv/git/source.example.org/example.git -git remote add origin git.example.org:/srv/git/source.example.org/example.git +ssh git.example.org git init --bare --shared /srv/git/src.ex.../example.git +git remote add origin git.example.org:/srv/git/src.ex.../example.git git push --set-upstream origin master ``` |