From 0bdb18724381b69ce7c632eac36507071f35390d Mon Sep 17 00:00:00 2001
From: Andreas Zeller <zeller@cispa.de>
Date: Sun, 30 Jun 2024 16:10:23 +0200
Subject: [PATCH] Stop Jupyter announcement messages

---
 binder/postBuild | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/binder/postBuild b/binder/postBuild
index 8e5ee447..3025e46b 100755
--- a/binder/postBuild
+++ b/binder/postBuild
@@ -18,10 +18,11 @@
 # jupyter nbextensions_configurator enable --user
 # jupyter nbextension list
 
-# Install and enable Jupyter lab extensions
+# Install and set up Jupyter lab extensions
 echo postBuild: Installing Jupyter Lab extensions...
 pip install jupyterlab-markup  # Mermaid in Jupyter Lab
 pip install jupyterlab-cell-flash
+jupyter labextension disable "@jupyterlab/apputils-extension:announcements"
 jupyter lab build
 
 # Install grcov