From b449ac77b90d48a2dc311540c712651e47905b09 Mon Sep 17 00:00:00 2001 From: Franciszek Walkowiak Date: Tue, 26 Mar 2024 12:54:36 +0100 Subject: [PATCH] Update --- README.md | 22 ++++++++++++++++++++++ scripts/install_sysdeps.sh | 2 +- 2 files changed, 23 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index f63d766..269d0bd 100644 --- a/README.md +++ b/README.md @@ -13,3 +13,25 @@ To stop the container, run: ```shell docker stop $(docker ps | grep '0.0.0.0:8081' | awk '{print $1}') ``` + +To run the image with just Julia installed, execute: + +```shell +docker run -it --entrypoint julia ghcr.io/insightsengineering/julia:1.10-bookworm -e 'println("Hello, world!"); for x in ARGS; println(x); end' foo bar +``` + +To run an interactive Julia session, execute: + +```shell +docker run -it --entrypoint julia ghcr.io/insightsengineering/julia:1.10-bookworm +``` + +To run a shell in the Julia container, execute: + +```shell +$ docker run -it --entrypoint /bin/bash ghcr.io/insightsengineering/julia:1.10-bookworm +root@4913b172f781:/# julia --version +julia version 1.10.2 +root@4913b172f781:/# quarto --version +1.4.551 +``` diff --git a/scripts/install_sysdeps.sh b/scripts/install_sysdeps.sh index 2ddc724..ff7748f 100644 --- a/scripts/install_sysdeps.sh +++ b/scripts/install_sysdeps.sh @@ -58,7 +58,7 @@ echo "PATH=$PATH" >> /etc/profile # Set default initializer if unavailable if [ ! -f /init ] then { - echo "sh" > /init + echo "#!/bin/bash" > /init chmod +x /init } fi