Iskren Chernev 41a7089e21 envkernel.sh: various improvements (!1883) ... * Change prompt * Add deactivate * Use /tmp/envkernel for run-scripts		2020-04-10 20:28:08 +02:00
..
envkernel.fish	helpers/envkernel.fish: add gcc4 support (!1842)	2019-12-14 00:18:21 +01:00
envkernel.sh	envkernel.sh: various improvements (!1883)	2020-04-10 20:28:08 +02:00
envsetup.sh	Add helpers/envsetup.sh (#1390)	2018-04-08 12:58:10 +00:00