diff options
author | Jonas Smedegaard <dr@jones.dk> | 2024-05-26 17:06:28 +0200 |
---|---|---|
committer | Jonas Smedegaard <dr@jones.dk> | 2024-05-26 17:06:28 +0200 |
commit | dcac0cae05c35a809bafbbf1c9cb1fc8afd03828 (patch) | |
tree | 89f6d8ea933024137b98c540f45e198d05d4e339 /SETUP.md | |
parent | 1667482425a6e3a8b5d8d9dba42c44e1bfa90012 (diff) |
add inline hint githostref
Diffstat (limited to 'SETUP.md')
-rw-r--r-- | SETUP.md | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -17,6 +17,7 @@ NB! This documentation uses special strings which you may want to adapt for your local setup: githost: source.example.org +githostref: src.ex.org gitshellhost: git.example.org @@ -67,7 +68,7 @@ create a local clone from the shared location, and tell git-annex to use it: ```shell -git clone git.example.org:/srv/git/source.example.org/example +git clone git.example.org:/srv/git/src.ex.org/example git annex init ``` @@ -80,9 +81,9 @@ then tell your local git where its new origin will be, and finally push your local git and git annex into its new public location: ```shell -ssh git.example.org git init --bare --shared /srv/git/source.example.org/example.git +ssh git.example.org git init --bare --shared /srv/git/src.ex.org/example.git ssh git.example.org GIT_DIR=/srv/git/source.example.org/example.git git annex init -git remote add origin git.example.org:/srv/git/source.example.org/example.git +git remote add origin git.example.org:/srv/git/src.ex.org/example.git git push --set-upstream origin master git annex sync --content --all ``` |