aboutsummaryrefslogtreecommitdiff
path: root/USE.md
diff options
context:
space:
mode:
authorJonas Smedegaard <dr@jones.dk>2019-11-02 20:34:47 +0100
committerJonas Smedegaard <dr@jones.dk>2019-11-02 20:34:47 +0100
commitaa4a266065ca54c5c5c7536fa00a207c722da426 (patch)
tree851351f2e48323c4d44af9f4db62bc0bd4bd94c6 /USE.md
parent7a49cb605255f38cce5f28b5a423315aba0325b5 (diff)
Use mustache template wrapping of variables.
Diffstat (limited to 'USE.md')
-rw-r--r--USE.md6
1 files changed, 3 insertions, 3 deletions
diff --git a/USE.md b/USE.md
index f2e2f0e..40efd0c 100644
--- a/USE.md
+++ b/USE.md
@@ -47,7 +47,7 @@ in one go:
To collaborate on a shared git repository,
first create a local copy from the shared location:
- git clone git://[[!template id=githost]]/example
+ git clone git://{{githost}}/example
Then from time to time syncronize,
first fetch eventual updates from others
@@ -63,8 +63,8 @@ first create a new empty git publicly,
then tell your local git where its new origin will be,
and finally push your local git into its new public location:
- ssh [[!template id=githost]] git init --bare --shared /srv/git/[[!template id=githost]]/example.git
- git remote add origin [[!template id=githost]]:/srv/git/[[!template id=githost]]/example.git
+ ssh {{gitshellhost}} git init --bare --shared /srv/git/{{githost}}/example.git
+ git remote add origin {{gitshellhost}}:/srv/git/{{githost}}/example.git
git push --set-upstream origin master