Swap ml-workspace container and improve docs (INTO-CPS-Association#300)

- Replaces ml-workspace container with ml-workspace-minimal container. This change potentially improves the speed of user workspace. - Adds guide book to help with non-standard installation scenarios. - Adds MongoDB installation to services.js --------- Co-authored-by: nichlaes <[email protected]>
lindot11 · Nov 29, 2023 · 255d33c · 255d33c
1 parent 924a5cd
commit 255d33c
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 12 deletions.
diff --git a/deploy/services/services.js b/deploy/services/services.js
@@ -157,10 +157,9 @@ try {
 
 log(chalk.green("Start new Mongodb server docker container"));
 await $$`docker run -d -p ${mongodbConfig.port}:27017 \
-  --name mongodb \
-  -v ${mongodbConfig.datapath}:/data/db \
-  -e MONGO_INITDB_ROOT_USERNAME=${mongodbConfig.username} \
-  -e MONGO_INITDB_ROOT_PASSWORD=${mongodbConfig.password} \
-  --restart always \
-  mongo:7.0.3`;
+--name mongodb \
+-v ${mongodbConfig.datapath}:/data/db \
+-e MONGO_INITDB_ROOT_USERNAME=${mongodbConfig.username} \
+-e MONGO_INITDB_ROOT_PASSWORD=${mongodbConfig.password} \
+mongo:7.0.3`;
 log(chalk.green("MongoDB server docker container started successfully"));
diff --git a/docs/admin/guides/add_service.md b/docs/admin/guides/add_service.md
@@ -91,12 +91,11 @@ try {
 
 log(chalk.green("Start new Mongodb server docker container"));
 await $$`docker run -d -p ${mongodbConfig.port}:27017 \
-  --name mongodb \
-  -v ${mongodbConfig.datapath}:/data/db \
-  -e MONGO_INITDB_ROOT_USERNAME=${mongodbConfig.username} \
-  -e MONGO_INITDB_ROOT_PASSWORD=${mongodbConfig.password} \
-  --restart always \
-  mongo:7.0.3`;
+--name mongodb \
+-v ${mongodbConfig.datapath}:/data/db \
+-e MONGO_INITDB_ROOT_USERNAME=${mongodbConfig.username} \
+-e MONGO_INITDB_ROOT_PASSWORD=${mongodbConfig.password} \
+mongo:7.0.3`;
 log(chalk.green("MongoDB server docker container started successfully"));
 ```