Rename dev.Dockerfile to Dockerfile

The new name is more appropriate since it is not just used for development
candleindark · Feb 20, 2024 · e0e902e · e0e902e
1 parent ef51857
commit e0e902e
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 2 deletions.
diff --git a/dev.Dockerfile → Dockerfile b/dev.Dockerfile → Dockerfile
diff --git a/docker-compose.dev.yml b/docker-compose.dev.yml
@@ -1,7 +1,7 @@
 services:
   web:
     build:
-      dockerfile: dev.Dockerfile
+      dockerfile: Dockerfile
       ## Old docker-compose asked for context but this was still insufficient
       ## since it could then "link" the built image here to be used for the worker
       # context: .

diff --git a/docker-compose.read-only.yml b/docker-compose.read-only.yml
@@ -1,7 +1,7 @@
 services:
   read-only-web:
     build:
-      dockerfile: dev.Dockerfile
+      dockerfile: Dockerfile
       ## Old docker-compose asked for context but this was still insufficient
       ## since it could then "link" the built image here to be used for the worker
       # context: .