Differences

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

--- howto:configure [2013/06/28 17:30] – [Configuring polymake for a group of users] gawrilow
+++ howto:configure [2014/01/03 15:45] – external edit 127.0.0.1
@@ Line 19: / Line 19: @@
 ===== Testing the configuration path =====
-The configuration path can be changed for a single polymake session using the command line option ''%%--config-path="FILE;..."%%'' which overrides the environment variable ''POLYMAKE_CONFIG_PATH''.  The option ''--no-config'' is a shortcut for ''--config-path=none'' .
+The configuration path can be changed for a single polymake session using the command line option ''%%--config-path="FILE;..."%%'' which overrides the environment variable ''POLYMAKE_CONFIG_PATH''.  The option ''%%--no-config%%'' is a shortcut for ''%%--config-path=none%%'' .
 ===== Effects on interactive commands =====