diff options
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)
parent7a49cb605255f38cce5f28b5a423315aba0325b5 (diff)
Use mustache template wrapping of variables.
2 files changed, 4 insertions, 4 deletions
diff --git a/README.md b/README.md
index 73ffa6f..7eed2ba 100644
--- a/README.md
+++ b/README.md
@@ -14,7 +14,7 @@ a repository for historic versions of file contents of a folder.
## Collections
A collection of public git repositories is available
-at <https://[[!template id=githost]]/>.
+at <https://{{githost}}/>.
Additional git repositories,
public or accessible only by a smaller group,
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