fix: run the /post-init.sh script if present

Co-authored-by: Flora Thiebaut <flora.thiebaut@sdsc.ethz.ch>

Author: olevski

.gitignore

@@ -87,3 +87,4 @@ result
 *.pem
 *.gz
 *.tgz
+.dmypy.json

components/renku_data_services/migrations/versions/1ef98b967767_add_command_and_args_to_environment.py

@@ -18,7 +18,7 @@
 
 default_command = ["sh", "-c"]
 default_args = [
-    "jupyter server --ServerApp.ip=0.0.0.0 --ServerApp.port=8888 --ServerApp.base_url=$RENKU_BASE_URL_PATH "
+    "/entrypoint.sh jupyter server --ServerApp.ip=0.0.0.0 --ServerApp.port=8888 --ServerApp.base_url=$RENKU_BASE_URL_PATH "
     '--ServerApp.token="" --ServerApp.password="" --ServerApp.allow_remote_access=true '
     "--ContentsManager.allow_hidden=true --ServerApp.allow_origin=*",
 ]

components/renku_data_services/migrations/versions/584598f3b769_expand_and_separate_environments_from_.py

@@ -20,7 +20,7 @@
 working_dir: str = "/home/jovyan/work"
 mount_dir: str = "/home/jovyan/work"
 uid: int = 1000
-gid: int = 1000
+gid: int = 100
 port: int = 8888