From 0d2183828bd4470310ad26338d055f1b27c57a43 Mon Sep 17 00:00:00 2001
From: Ilmari Vacklin <ilmari.vacklin@iki.fi>
Date: Fri, 12 Aug 2022 11:53:16 +0000
Subject: [PATCH] direnv

---
 .devcontainer/devcontainer.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index 09ebe66..d719d58 100644
--- 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"
 	]
 }
\ No newline at end of file