5 Commits (53d7a51cb0ba9cc8728f3738af23809e3e923670)

Author	SHA1	Message	Date
Marcel von Maltitz	73e79213dc	Fix ubuntu install script ... If no former version is present, the script fails since the rm commands do not succeed. Added -f to rm in order to ignore non-existent directories to be deleted.	2018-09-21 12:55:01 +02:00
Andros Fenollosa	8c3669588b	Added comments and information texts ... Comments, presentation title, final informative text have been added and temporary variable is deleted.	2018-09-14 19:03:09 +02:00
Andros Fenollosa	dcf78e8a06	Prevent the folder from being deleted	2018-09-10 22:57:50 +02:00
Andros Fenollosa	de0c54c3c3	Add set -e	2018-09-10 22:54:01 +02:00
Andros Fenollosa	a559565ace	Create install_ubuntu.sh	2018-09-09 21:08:23 +02:00