aboutsummaryrefslogtreecommitdiff
path: root/USE.md
blob: d9459b1727b7c385fa2ce663667d8535e670dc6d (plain)

Using digital source material

Use the source, Luke

-- a pun on Obi-Wan Kenobi quote in Star Wars

Git

Digital source material is tracked with git.

Git is a version control system - a repository for historic versions of file contents of a folder.

Create

To turn a folder into a git repository, go into the folder, and initialize its git database:

git init

Save

To "take a snapshot" of one of more files 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."

Alternatively you can update (but not add) in one go:

git commit -m "Update foo bar." foo bar

Share

To collaborate on a shared git repository, first create a local copy from the shared location:

git clone git://{{githost}}/example

Then from time to time syncronize, first fetch eventual updates from others and then push your local changes:

git pull
git push

Publish

To publish a git repository initially created locally, 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 {{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

References