diff --git a/Makefile b/Makefile index ac2be0b6572a3a9cd203b5ff5f39c818258c2c75..d5ee3c5dfbb22b95b16d0b83fa8b7c076b828190 100644 --- a/Makefile +++ b/Makefile @@ -15,8 +15,8 @@ installphuser: ./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 + echo "Deinstalling ProB2 Kernel; you may have to run this twice! + jupyter kernelspec remove prob2 console: jupyter console --kernel prob2