Skip to content
Snippets Groups Projects
Commit aa7a9211 authored by Michael Leuschel's avatar Michael Leuschel
Browse files

add target do deinstall in Makefile 


Signed-off-by: default avatarMichael Leuschel <leuschel@uni-duesseldorf.de>
parent 3ceff53d
Branches
Tags
No related merge requests found
Pipeline #103929 passed
Stage: test
Show whitespace changes
Inline Side-by-side
Showing
with 6 additions and 2 deletions
Makefile
+ 6
− 2
View file @ aa7a9211
...@@ -12,7 +12,11 @@ installph: ...@@ -12,7 +12,11 @@ installph:
./gradlew -PpythonCommand=$(PYTHON) installKernelSpec ./gradlew -PpythonCommand=$(PYTHON) installKernelSpec
installphuser: installphuser:
echo "Installing for user, so that, e.g., VSCode sees the kernel" echo "Installing for user, so that, e.g., VSCode sees the kernel"
./gradlew -PpythonCommand=$(PYTHON) -PkernelspecUserInstall=true installKernelSpec ./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: console:
jupyter console --kernel prob2 jupyter console --kernel prob2
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment