Susan van Ewijk, Bas Gremmen, Robin Keij, Plamen Pasliev, Stijn van Rooij, Marcin van de Ven
This root-directory is also used to store some descriptional files. The public_html-directory is the root- directory for the site.
In the file_tree.md you can find the file and directory structure of the website.
We have a TU/e webhost to publish our website. To synchronize this site with the
latest version on Github you can login to the host (see mail) and run the command
./gitsync.sh (the tab-button autocompletes the command when you typed ./g).
The script will first ask you for you Github-login. You won't see that you type your password because of security reasons. The password won't be saved!
After that it will reset the (old) Github-repository that is saved on the server. Then it will download the latest one from Github using your credentials.
When this succeeds, it will ask you to fill in the branch name that has to be used to update from. Fill in the branch that you have been working on to test your latest code. If everything is ok, it will end the script with a green message stating that the update succeeded using the filled in branch.