refactor: rename shell/ container/

ourPLCC · Nov 10, 2023 · a4bf277 · a4bf277
1 parent a53559e
commit a4bf277
Show file tree

Hide file tree

Showing 6 changed files with 12 additions and 11 deletions.
diff --git a/README.md b/README.md
@@ -25,15 +25,16 @@ Run the tests...
 tests/run
 ```
 
-### Running the tests inside the Docker shell.
+### Running the tests inside the official container.
 
-Run the shell...
+Run the PLCC container...
 
 ```bash
-shell/run
+container/run
 ```
 
-Run the tests
+You are now running inside the PLCC container. Now run the tests.
+
 ```bash
 /plcc/tests/run
 ```

diff --git a/shell/Dockerfile → container/Dockerfile b/shell/Dockerfile → container/Dockerfile
diff --git a/shell/build → container/build b/shell/build → container/build
diff --git a/shell/docker-compose.yml → container/docker-compose.yml b/shell/docker-compose.yml → container/docker-compose.yml
@@ -1,9 +1,9 @@
 version: "3.8"
 services:
-  shell:
+  plcc:
     build:
       context: ..
-      dockerfile: ./shell/Dockerfile
-    image: plcc-shell:build
+      dockerfile: ./plcc/Dockerfile
+    image: plcc:build
     volumes:
       - "${PWD}:/workdir"
diff --git a/container/run b/container/run
@@ -0,0 +1,4 @@
+#!/bin/bash
+DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
+echo "Building and running the PLCC container..."
+docker compose -f "$DIR/docker-compose.yml" run --rm plcc
diff --git a/shell/run b/shell/run