From e56679f29f66ecdc2c88d9c8d898fd4afa9a1691 Mon Sep 17 00:00:00 2001
From: Anson Biggs <anson@ansonbiggs.com>
Date: Mon, 30 Aug 2021 12:52:46 -0700
Subject: [PATCH] more idiomatic setup for Dockerfile

---
 DockerDev => .devcontainer/Dockerfile | 0
 .devcontainer/devcontainer.json       | 2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename DockerDev => .devcontainer/Dockerfile (100%)

diff --git a/DockerDev b/.devcontainer/Dockerfile
similarity index 100%
rename from DockerDev
rename to .devcontainer/Dockerfile
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index 1587f43..efc4208 100644
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -5,7 +5,7 @@
 	// Sets the run context to one level up instead of the .devcontainer folder.
 	"context": "..",
 	// Update the 'dockerFile' property if you aren't using the standard 'Dockerfile' filename.
-	"dockerFile": "../DockerDev",
+	"dockerFile": "Dockerfile",
 	// Set *default* container specific settings.json values on container create.
 	"settings": {},
 	// Add the IDs of extensions you want installed when the container is created.