diff --git a/Makefile b/Makefile
index 00c6b64ec92edaa06be7b391b21299e5dba8763c..d10a4e2e0fbd02ea1f7f3cf1cf7dc5e89838015e 100644
--- a/Makefile
+++ b/Makefile
@@ -6,8 +6,13 @@ install:
 	./gradlew installKernelSpec
 USERNAME=
 PHOME=/Users/$(USERNAME)/git_root/prob_prolog
+JUPYTER=/Users/$(USERNAME)/opt/miniconda3/bin/jupyter
+#JUPYTER=/Users/$(USERNAME)/opt/miniconda3/envs/py10/bin/jupyter
 installph:
-	./gradlew -PprobHome=$(PHOME) installKernelSpec
+	./gradlew -PprobHome=$(PHOME) -PjupyterCommand=$(JUPYTER) installKernelSpec
+installphuser:
+    echo "Installing for user, so that, e.g., VSCode sees the kernel"
+	./gradlew -PprobHome=$(PHOME) -PjupyterCommand=$(JUPYTER) -PkernelspecUserInstall=true installKernelSpec
 
 console:
 	jupyter console --kernel prob2