From 3c96a41994ad7cd7176640846dd867c1d10ca16d Mon Sep 17 00:00:00 2001 From: ihiverlet <94982379+ihiverlet@users.noreply.github.com> Date: Mon, 23 Oct 2023 15:58:45 +0200 Subject: [PATCH] fix dark theme jupyter and rstudio --- scripts/onyxia-init.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/scripts/onyxia-init.sh b/scripts/onyxia-init.sh index 1acb70ed..bbb6cb99 100644 --- a/scripts/onyxia-init.sh +++ b/scripts/onyxia-init.sh @@ -152,6 +152,7 @@ fi if [[ "$DARK_MODE" == "true" ]]; then if command -v jupyter-lab; then + mkdir ${MAMBA_DIR}/share/jupyter/lab/settings echo "{\"@jupyterlab/apputils-extension:themes\": {\"theme\": \"JupyterLab Dark\"}}" > ${MAMBA_DIR}/share/jupyter/lab/settings/overrides.json; fi if command -v code-server; then @@ -161,7 +162,7 @@ if [[ "$DARK_MODE" == "true" ]]; then touch ${R_HOME}/etc/Rprofile.site echo "if (Sys.getenv('DARK_MODE')=='TRUE'){ setHook('rstudio.sessionInit', function(newSession) { - rstudioapi::applyTheme("Vibrant Ink") + rstudioapi::applyTheme(\"Vibrant Ink\") }, action = 'append') }" >> ${R_HOME}/etc/Rprofile.site fi