direnv

wolverian · Aug 12, 2022 · 0d21838 · 0d21838
1 parent 9120969
commit 0d21838
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -9,12 +9,12 @@
 	"updateRemoteUserUID": false,
 	"onCreateCommand": "nix develop --command echo done building nix dev environment",
 	"extensions": [
-		"arrterian.nix-env-selector",
 		"jnoortheen.nix-ide",
 		"fsevenm.run-it-on",
 		"ms-azuretools.vscode-docker",
 		"yzhang.markdown-all-in-one",
 		"banacorn.agda-mode",
-		"j-mueller.agda"
+		"j-mueller.agda",
+		"mkhl.direnv"
 	]
 }