aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJonas Smedegaard <dr@jones.dk>2024-05-26 17:01:15 +0200
committerJonas Smedegaard <dr@jones.dk>2024-05-26 17:01:15 +0200
commit1667482425a6e3a8b5d8d9dba42c44e1bfa90012 (patch)
treeec9102ff272714ce258904defce789e9cd69486a
parentb1148b1f647285663aa654d5b9910c39853c29e7 (diff)
use inline defined hints
-rw-r--r--SETUP.md17
1 files changed, 13 insertions, 4 deletions
diff --git a/SETUP.md b/SETUP.md
index cf62057..b77aa43 100644
--- a/SETUP.md
+++ b/SETUP.md
@@ -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
```