rename dockerfile to dockerfile.development

permasigner · Jul 26, 2022 · e9c559e · e9c559e
1 parent 52f825c
commit e9c559e
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -8,7 +8,7 @@
 	"context": "..",
 
 	// Update the 'dockerFile' property if you aren't using the standard 'Dockerfile' filename.
-	"dockerFile": "../Dockerfile",
+	"dockerFile": "../Dockerfile.development",
 
 	// Set *default* container specific settings.json values on container create.
 	"settings": {},

diff --git a/Dockerfile → Dockerfile.development b/Dockerfile → Dockerfile.development