From aa7a9211d0cb06854bf76905c55d1817b2c95507 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Mon, 12 Dec 2022 16:31:07 +0100
Subject: [PATCH] add target do deinstall in Makefile

Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
---
 Makefile | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 803dfad..ac2be0b 100644
--- a/Makefile
+++ b/Makefile
@@ -11,8 +11,12 @@ PYTHON=/Users/$(USERNAME)/opt/miniconda3/bin/python3
 installph:
 	./gradlew -PpythonCommand=$(PYTHON) installKernelSpec
 installphuser:
-    echo "Installing for user, so that, e.g., VSCode sees the kernel"
-	./gradlew -PpythonCommand=$(PYTHON) -PkernelspecUserInstall=true installKernelSpec
+	echo "Installing for user, so that, e.g., VSCode sees the kernel"
+	./gradlew -PprobHome=$(PROB_HOME) -PpythonCommand=$(PYTHON) -PkernelspecUserInstall=true installKernelSpec
+
+remove:
+    echo "Deinstalling ProB2 Kernel; you may have to run this twice!
+    jupyter kernelspec remove prob2
 
 console:
 	jupyter console --kernel prob2
-- 
GitLab