5 Commits

Author	SHA1	Message	Date
Gunnar Beutner	2024598ef7	Install vi in the dev environment. ... Refs #5996	2014-04-11 13:50:43 +02:00
Gunnar Beutner	c9c024c362	Fix some of the paths for the Docker scripts. ... Refs #5996	2014-04-11 12:30:06 +02:00
Gunnar Beutner	a601911059	Use the right UID and GID for build files. ... Refs #5996	2014-04-11 12:17:04 +02:00
Gunnar Beutner	492ec9dba8	Add support for GDB pretty printers in the dev environment. ... Refs #5996	2014-04-11 11:42:37 +02:00
Gunnar Beutner	1f8a1a9e1a	Add scripts to build a dev environment with Docker. ... Fixes #5996	2014-04-11 11:01:38 +02:00