From e8bdbffd1ea1f2652e795af386ea6237e40e1b64 Mon Sep 17 00:00:00 2001
From: Simon Parten <quafadas@gmail.com>
Date: Sun, 19 May 2024 13:27:16 +0200
Subject: [PATCH] .

---
 .devcontainer/Dockerfile => Dockerfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
 rename .devcontainer/Dockerfile => Dockerfile (95%)

diff --git a/.devcontainer/Dockerfile b/Dockerfile
similarity index 95%
rename from .devcontainer/Dockerfile
rename to Dockerfile
index 7e00147..4d8e407 100644
--- a/.devcontainer/Dockerfile
+++ b/Dockerfile
@@ -3,7 +3,7 @@ FROM mcr.microsoft.com/devcontainers/base:ubuntu
 # https://get-coursier.io/docs/cli-installation
 RUN curl -fL "https://github.com/coursier/launchers/raw/master/cs-x86_64-pc-linux.gz" | gzip -d > cs && chmod +x cs && mv cs /usr/local/bin/cs
 
-COPY ../build.sc .
+COPY build.sc .
 
 # We should have all the deps to run Metals here, saving time from a cold start.
 RUN cs install metals
@@ -12,7 +12,7 @@ RUN cs install metals
 RUN ./mill __.prepareOffline
 
 # Copy source into container
-COPY ../. .
+COPY . .
 
 # Compile the project - anything that has hit "main" should (at least!) compile
 # And setup mills BSP server for metals