From 957ed79d7ccf90b9016e4345ed628faec8627b5b Mon Sep 17 00:00:00 2001 From: Jonas Smedegaard Date: Sun, 26 May 2024 17:12:35 +0200 Subject: use inline hint githostref; drop hint githost --- USE.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'USE.md') diff --git a/USE.md b/USE.md index 57f5787..b655b00 100644 --- a/USE.md +++ b/USE.md @@ -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 ``` -- cgit v1.2.3