9 commits

Author	SHA1	Message	Date
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