5 Commits

Author	SHA1	Message	Date
Sebastian Serth	fbd7a4318f	Update Ubuntu in Vagrant and add second CPU	2019-12-20 16:18:34 +01:00
Sebastian Serth	4d1cf972e4	Include Webpack and use it for jQuery, Bootstrap and chosen.js	2018-11-06 16:46:01 +01:00
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