devcontainer: -direnv, +procps

it wasn't such a good idea to add direnv by default
2019-12-24 14:15:19 +01:00 · 2019-12-24 14:15:19 +01:00 · 91703f92f2
commit 91703f92f2
parent 7fc8ed492e
2 changed files with 5 additions and 6 deletions
--- a/images/devcontainer/root/etc/bashrc
+++ b/images/devcontainer/root/etc/bashrc
@ -3,6 +3,4 @@ if [[ $- == *i* ]]; then

 PS1='\[\033[0;32;40m\][nix]$\[\033[0m\] '

-# setup direnv
-eval "$(direnv hook bash)"
 fi