From e1cea21dcb0dc9ffb60f4593014bf356796602fc Mon Sep 17 00:00:00 2001 From: Dorian HODIN Date: Mon, 21 Nov 2022 16:52:36 +0100 Subject: [PATCH] Create a script directory --- Sources/php_script/Dockerfile | 2 +- Sources/php_script/{ => script}/config.php | 0 Sources/php_script/{ => script}/db.php | 0 Sources/php_script/{ => script}/distance.php | 0 Sources/php_script/{ => script}/insert.php | 0 5 files changed, 1 insertion(+), 1 deletion(-) rename Sources/php_script/{ => script}/config.php (100%) rename Sources/php_script/{ => script}/db.php (100%) rename Sources/php_script/{ => script}/distance.php (100%) rename Sources/php_script/{ => script}/insert.php (100%) diff --git a/Sources/php_script/Dockerfile b/Sources/php_script/Dockerfile index cd9e682..c331944 100644 --- a/Sources/php_script/Dockerfile +++ b/Sources/php_script/Dockerfile @@ -1,5 +1,5 @@ FROM php:8.1-cli -COPY . Sources/php_script +COPY . ./script WORKDIR Sources/php_script CMD [ "php", "./distance.php" ] CMD [ "php", "./db.php" ] diff --git a/Sources/php_script/config.php b/Sources/php_script/script/config.php similarity index 100% rename from Sources/php_script/config.php rename to Sources/php_script/script/config.php diff --git a/Sources/php_script/db.php b/Sources/php_script/script/db.php similarity index 100% rename from Sources/php_script/db.php rename to Sources/php_script/script/db.php diff --git a/Sources/php_script/distance.php b/Sources/php_script/script/distance.php similarity index 100% rename from Sources/php_script/distance.php rename to Sources/php_script/script/distance.php diff --git a/Sources/php_script/insert.php b/Sources/php_script/script/insert.php similarity index 100% rename from Sources/php_script/insert.php rename to Sources/php_script/script/insert.php