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 /USE.md | |
parent | 7a49cb605255f38cce5f28b5a423315aba0325b5 (diff) |
Use mustache template wrapping of variables.
Diffstat (limited to 'USE.md')
-rw-r--r-- | USE.md | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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 |