From b8184adf49aa75ccfa9fbc0fd4b99f0b373dcdba Mon Sep 17 00:00:00 2001 From: greysoh Date: Sun, 21 Apr 2024 16:20:29 -0400 Subject: [PATCH] fix: Readds echo command. --- .devcontainer/devcontainer.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 2c277c1..43264fb 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -28,7 +28,7 @@ "updateRemoteUserUID": false, // build development environment on creation, make sure you already have shell.nix - "onCreateCommand": "nix-shell", + "onCreateCommand": "nix-shell --command 'echo done building nix dev environment'", // Use 'forwardPorts' to make a list of ports inside the container available locally. "forwardPorts": [