diff options
author | Jonas Smedegaard <dr@jones.dk> | 2019-11-02 20:34:47 +0100 |
---|---|---|
committer | Jonas Smedegaard <dr@jones.dk> | 2019-11-02 20:34:47 +0100 |
commit | aa4a266065ca54c5c5c7536fa00a207c722da426 (patch) | |
tree | 851351f2e48323c4d44af9f4db62bc0bd4bd94c6 | |
parent | 7a49cb605255f38cce5f28b5a423315aba0325b5 (diff) |
Use mustache template wrapping of variables.
-rw-r--r-- | README.md | 2 | ||||
-rw-r--r-- | USE.md | 6 |
2 files changed, 4 insertions, 4 deletions
@@ -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, @@ -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 |