3 Commits

Author	SHA1	Message	Date
Sebastian Serth	534fd651e9	Update Vagrant provision.sh to execute command as non-root user ... Also, some commands were only available in an interactive shell, those were changed. Signed-off-by: Sebastian Serth <Sebastian.Serth@student.hpi.de>	2018-03-09 15:23:07 +01:00
Ralf Teusner	fc6fa931c4	increase vagrant machine memory default	2017-09-20 13:36:42 +02:00
Martin v. Löwis	1c795c0796	Provide deployment into vagrant box. Closes #21.	2015-08-27 21:18:16 +02:00