12 commits

Author	SHA1	Message	Date
Steven Van Acker	7144e756e5	fail hard on any error + verify that all scripts use bash -ex to fail ... early on any error + anticipate that some tools can't be installed by now, but we still want the test to return success to satisfy travis-ci	2017-02-16 22:40:17 +01:00
Steven Van Acker	07b2483bf2	add missing packages	2017-02-13 13:48:53 +01:00
Steven Van Acker	761d378dd9	don't ask for github username/password	2017-02-13 13:48:15 +01:00
Yan	f9ff39d6a7	use the new ctf-tools-venv-activate	2016-10-11 02:07:57 -07:00
Yan	d443655abb	fix up angr install	2016-10-10 02:26:39 -07:00
Michael Rodler	1d47962e58	Split install-root scripts into distribution specific ones	2016-06-06 15:11:08 +02:00
Michael Rodler	37e74bef92	Added case fallthrough for debian as distri in all install-root scripts. fixed manage-tools and Dockerfile.	2016-06-02 11:51:59 +02:00
Michael Rodler	54c8472ebc	Bulk updated install-root scripts to check $DISTRI env variable	2016-06-01 15:14:32 +02:00
linuxgeek247	c24a549e66	Adding a few more required packages	2016-05-12 22:43:00 -04:00
Yan	53c9f1e250	use shallow clones to speed things up and reduce disk space usage	2015-12-09 14:42:41 -08:00
Yan	b42101c040	install some more stuff for angr	2015-11-03 18:30:54 -08:00
Yan	20aebb1c9c	added angr!	2015-11-02 23:55:20 -08:00