From 83b8e761f1b21ee82cadcc0a00a87dc591fa73d9 Mon Sep 17 00:00:00 2001 From: Eleni Mathioulaki <emathioulaki@athenarc.gr> Date: Tue, 28 Feb 2023 04:42:10 +0100 Subject: [PATCH] use different logos for python/R kernels --- create_JupyterLab_kernel.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/create_JupyterLab_kernel.sh b/create_JupyterLab_kernel.sh index 85102130..4961eaa4 100644 --- a/create_JupyterLab_kernel.sh +++ b/create_JupyterLab_kernel.sh @@ -56,7 +56,7 @@ cat <<EOF > $KERNEL_PATH/$KERNEL_NAME/kernel.json EOF # ... and add EBRAINS logo to kernel -cp $LAB_KERNEL_ROOT/../etc/logo-64x64.png $KERNEL_PATH/$KERNEL_NAME/ +cp $LAB_KERNEL_ROOT/../etc/logo-64x64-python.png $KERNEL_PATH/$KERNEL_NAME/logo-64x64.png # (5) create startup script for R kernel cat $KERNEL_PATH/bin/env.sh > $KERNEL_PATH/bin/env_r.sh @@ -75,5 +75,5 @@ cat <<EOF > $KERNEL_PATH/${KERNEL_NAME}-R/kernel.json EOF # ... and add EBRAINS logo and kernel.js to kernel -cp $LAB_KERNEL_ROOT/../etc/logo-64x64.png $KERNEL_PATH/${KERNEL_NAME}-R/ +cp $LAB_KERNEL_ROOT/../etc/logo-64x64-R.png $KERNEL_PATH/${KERNEL_NAME}-R/logo-64x64.png cp $LAB_KERNEL_ROOT/../etc/kernel.js $KERNEL_PATH/${KERNEL_NAME}-R/ -- GitLab