user_guide:howto:shell_custom

Differences

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

Link to this comparison view

Next revision
Previous revision
Next revisionBoth sides next revision
tutorial:shell_custom [2019/01/22 17:13] – external edit 127.0.0.1user_guide:howto:shell_custom [2019/01/25 13:40] – ↷ Page moved from user_guide:shell_custom to user_guide:howto:shell_custom oroehrig
Line 23: Line 23:
     :: restore the default value     :: restore the default value
   .. Both commands come into effect immediately, but also mark the variable as changed, so that the new value will also appear in your personal customization file after the session end.  You can also change the custom variables for the rest of current session only, without updating the file -- by a plain assignment.  If you want to change some value temporarily, just to influence the evaluation of the next expression, write the ''local'' keyword instead of ''set_custom'' (It's not polymake's black magic, just normal perl operator.)   .. Both commands come into effect immediately, but also mark the variable as changed, so that the new value will also appear in your personal customization file after the session end.  You can also change the custom variables for the rest of current session only, without updating the file -- by a plain assignment.  If you want to change some value temporarily, just to influence the evaluation of the next expression, write the ''local'' keyword instead of ''set_custom'' (It's not polymake's black magic, just normal perl operator.)
 +
 +=== Configuring applications ===
 +There are two custom variables related to applications.  The list ''@start_applications'' contains names of all applications to be loaded at the very beginning of the interactive session (although the process of loading applications is totally transparent to you, having loaded your favorites in advance avoids annoying delays during the session).  The variable ''$default_application'' names the application to be made current at the beginning of the session.  Until you change this, it will be ''polytope'' for its undisputed merits as the oldest and most prominent application in polymake.
  
 ==== Preferences ==== ==== Preferences ====
  • user_guide/howto/shell_custom.txt
  • Last modified: 2021/01/12 14:34
  • by 127.0.0.1