diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2024-05-26 17:12:03 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2024-05-26 17:12:03 +0200 |
| commit | 4644693abd99ed422297acd5b8a1a1a12801eae7 (patch) | |
| tree | 919af08bbcc71fbd335c32d73c7e73e59ae19258 | |
| parent | dcac0cae05c35a809bafbbf1c9cb1fc8afd03828 (diff) | |
fix use of hint githostref; drop now unused hint githost
| -rw-r--r-- | SETUP.md | 7 |
1 files changed, 3 insertions, 4 deletions
@@ -16,7 +16,6 @@ while some is done using git-annex-specific commands. 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 @@ -81,9 +80,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/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/src.ex.org/example.git +ssh git.example.org git init --bare --shared /srv/git/src.ex.../example.git +ssh git.example.org GIT_DIR=/srv/git/src.ex.../example.git git annex init +git remote add origin git.example.org:/srv/git/src.ex.../example.git git push --set-upstream origin master git annex sync --content --all ``` |