Differences

This shows you the differences between two versions of the page.

--- user_guide:howto:jupyter [2021/06/01 16:05] – Short note on where jupyter takes its polymake config from lkastner
+++ user_guide:howto:jupyter [2021/06/03 19:55] – [Prerequisites] lkastner
@@ Line 9: / Line 9: @@
 ninja -C build/Opt install
 </code>
-in your polymake source. Then please use the polymake binary from the folder you installed polymake in.
+if working with the polymake source. Then please use the polymake binary from the folder you installed polymake in.
+If you use a version of polymake installed via your package manager, make sure you have the ''polymake-config'' binary. Try running
+<code>
+polymake-config --version
+</code>
+in a terminal. For example for Ubuntu it is not enough to have the ''polymake'' package installed, you will also need ''libpolymake-dev''.
 ===== Setup =====
@@ Line 58: / Line 64: @@
 ==== polymake configuration ====
-The configuration used by the jupyter kernel is the one in `$HOME/.polymake`. At this point it is not possible to use a different configuration folder. If you need to reconfigure a rules file, it is easiest to reconfigure it outside of jupyter. Note that the configuration is only saved to `$HOME/.polymake` once polymake gets closed using `exit;`.
+The default configuration used by the jupyter kernel is the one in ''$HOME/.polymake''. If you need to reconfigure a rules file, it is easiest to reconfigure it outside of jupyter. Note that the configuration is only saved to ''$HOME/.polymake'' once polymake gets closed using ''exit;''.
+Advance users can use a different configuration folder in the following way:
+<code>
+alias jupymake="env POLYMAKE_USER_DIR=$HOME/.polymake-jupyter jupyter notebook --notebook-dir=$HOME/jupyter-notebooks"
+</code>
 ==== polymake kernel does not start ====