Github#
We will use github to update these pages and develop our ideas as they evolve.
First, you’ll need to register as a Github user (unless you already have one)
Next, you’ll need to be added as a member of the Open World repository by Audun.
You should then do the initial clone of the repository. Open a terminal and from a suitable folder, run:
git clone https://github.com/audunsh/openworld.git
If everything workes as intended, you do now have access to the repository, can edit, add and remove files, and push your changes.
Useful commands#
All commands should be run from within the local folder of the repository.
See current status#
To display state of files in the repository, run git status
Get latest changes to the repository#
To download latest changes, run git pull
Update online repository with local changes#
First you need to specify which files to update:
git add [insert file]
…then you explain what you are doing:
git commit -m"[insert explanation]"
…finally, you upload the local changes to the online repository to make it available for all:
git push
(you’ll be prompted for username and password)