diff options
author | Jonas Smedegaard <dr@jones.dk> | 2024-05-26 17:01:15 +0200 |
---|---|---|
committer | Jonas Smedegaard <dr@jones.dk> | 2024-05-26 17:01:15 +0200 |
commit | 1667482425a6e3a8b5d8d9dba42c44e1bfa90012 (patch) | |
tree | ec9102ff272714ce258904defce789e9cd69486a | |
parent | b1148b1f647285663aa654d5b9910c39853c29e7 (diff) |
use inline defined hints
-rw-r--r-- | SETUP.md | 17 |
1 files changed, 13 insertions, 4 deletions
@@ -11,6 +11,15 @@ some of the interaction is done through git commands, while some is done using git-annex-specific commands. +## Special strings + +NB! This documentation uses special strings +which you may want to adapt for your local setup: + +githost: source.example.org +gitshellhost: git.example.org + + ### Paths You are recommended to use path suffix "annex" @@ -58,7 +67,7 @@ create a local clone from the shared location, and tell git-annex to use it: ```shell -git clone git://[[!template id=githost]]/example +git clone git.example.org:/srv/git/source.example.org/example git annex init ``` @@ -71,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 [[!template id=githost]] git init --bare --shared /srv/git/[[!template id=githost]]/example.git -ssh [[!template id=githost]] GIT_DIR=/srv/git/[[!template id=githost]]/example.git git annex init -git remote add origin [[!template id=githost]]:/srv/git/[[!template id=githost]]/example.git +ssh git.example.org git init --bare --shared /srv/git/source.example.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 push --set-upstream origin master git annex sync --content --all ``` |