Differences

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

--- user_guide:shell [2021/01/12 15:52] – [Switching between applications] gawrilow
+++ user_guide:shell [2021/01/12 15:55] (current) – [Switching between applications] gawrilow
@@ Line 45: / Line 45: @@
   :: appends the commands stored in the given file to the history, rewinds back to the first of them, and turns on the replay mode.  This command is especially useful for making live demos with polymake, as you can prepare and test your input in advance and don't have to waste your time for typing during the presentation.
-Finally, let's mention two [[howto:shell_custom|custom variables]] related to the history handling.
+Finally, let's mention two [[user_guide:howto:shell_custom|custom variables]] related to the history handling.
   ? ''$history_size''
@@ Line 69: / Line 69: @@
 Applications are, roughly speaking, collections of object types, functions, and other stuff related to some distinct mathematical subject.  At all times during the interactive session in the polymake shell, there is one //current// application, while other applications are modestly standing on the backstage.  The name of the current application is permanently displayed in the shell prompt.
-As a matter of fact, the only difference between the current application and the rest is that you can call the functions and object constructors of the former without having to qualify them with the application name as a prefix; however, this is a quite comfortable feature.  When you want to make other application current, you must enter this command: ''%%application "NAME";%%''.  To perpetuate your choice for future sessions, you can set the [[howto:shell_custom#custom variables|custom variable ''$default_application]].
+As a matter of fact, the only difference between the current application and the rest is that you can call the functions and object constructors of the former without having to qualify them with the application name as a prefix; however, this is a quite comfortable feature.  When you want to make other application current, you must enter this command: ''%%application "NAME";%%''.  To perpetuate your choice for future sessions, you can set the [[user_guide:howto:shell_custom#custom variables|custom variable]] ''$default_application''.