Omar Padron
3a9cd2614e
Docker-Based Developer Resource (#5871)
* add docker-based development resources
* incorporate feedback from @ax3l
* fix docs/improve ssh handling
* experiment with custom prompt
* add arch/fix missing core_compilers key
* add centos/minor tweaks
* make prompt experiment optional
* workaround problem with latest fedora docker image
* add docker documentation page to index toc
* try another documentation fix
* switch arch linux base to base/archlinux
* update the git urls in the Dockerfiles
* add opensuse
* switch CUSTOM_PROMPT variable to simply "PROMPT"
2018-02-27 00:36:14 -08:00
..
2016-10-06 14:43:49 -07:00
2018-02-27 00:36:14 -08:00
2017-11-12 00:27:20 -08:00
2017-11-06 22:42:16 -08:00
2018-01-20 16:10:25 +01:00
2017-11-04 17:08:04 -07:00
2017-11-15 17:38:40 -07:00
2018-01-10 13:51:04 +01:00