diff options
| -rw-r--r-- | USE.md | 35 |
1 files changed, 23 insertions, 12 deletions
@@ -30,8 +30,9 @@ To turn a folder into a git repository, go into the folder, and initialize its git database: - git init - +```shell +git init +``` ## Save @@ -41,14 +42,18 @@ for git archival, first mark which files are involved and then archive their (changes to) content: - git add foo bar - git add baz - git commit -m "Update foo bar, and add baz." +```shell +git add foo bar +git add baz +git commit -m "Update foo bar, and add baz." +``` Alternatively you can update (but not add) in one go: - git commit -m "Update foo bar." foo bar +```shell +git commit -m "Update foo bar." foo bar +``` ## Share @@ -56,14 +61,18 @@ in one go: To collaborate on a shared git repository, first create a local copy from the shared location: - git clone git.example.org:/srv/git/source.example.org/example.git +```shell +git clone git.example.org:/srv/git/source.example.org/example.git +``` Then from time to time syncronize, first fetch eventual updates from others and then push your local changes: - git pull - git push +```shell +git pull +git push +``` ### Publish @@ -72,9 +81,11 @@ 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 git.example.org git init --bare --shared /srv/git/source.example.org/example.git - git remote add origin git.example.org:/srv/git/source.example.org/example.git - git push --set-upstream origin master +```shell +ssh git.example.org git init --bare --shared /srv/git/source.example.org/example.git +git remote add origin git.example.org:/srv/git/source.example.org/example.git +git push --set-upstream origin master +``` ## See also |