4 Commits

Author	SHA1	Message	Date
Benjamin Sago	70606f95ff	Change user in Vagrantfile ... Why I have to keep doing this I have no idea. If you know, please tell!	2018-09-26 21:25:50 +01:00
Benjamin Sago	2e2598c9a0	Rename the zips for weekly releases	2017-10-08 20:53:36 +01:00
Benjamin Sago	baccfe544b	Linux check for Linux script ... These changes are mostly just to mirror the macOS packaging script.	2017-10-01 10:55:38 +02:00
Benjamin Sago	173e9b2345	Move the packaging script into its own file ... Having it all echo-ed into the file like that made it hard to read *and* hard to maintain. My initial aversion to it was that I didn’t want there to be an executable script in the main repository that only worked when you were in the VM, because people would just run it anyway. But this can be avoided by leaving it non-executable, and having a command in the VM that runs it instead.	2017-10-01 09:48:20 +02:00