This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |
| user_guide:howto:scripting [2021/01/12 15:38] – external edit 127.0.0.1 | user_guide:howto:scripting [2021/01/12 15:49] (current) – [Location] gawrilow |
|---|
| |
| * ''$InstallTop/scripts'' -- standard neutral scripts shipped with polymake | * ''$InstallTop/scripts'' -- standard neutral scripts shipped with polymake |
| * ''@lookup_scripts'' -- additional directories of your choice containing your private scripts. This list is a [[:shell_custom#custom_variables|custom variable]]. | * ''@lookup_scripts'' -- additional directories of your choice containing your private scripts. This list is a [[shell_custom#custom_variables|custom variable]]. |
| * ''$Extension/scripts'' -- neutral scripts coming from an [[user_guide:extend:extensions|extension]] | * ''$Extension/scripts'' -- neutral scripts coming from an [[user_guide:extend:extensions|extension]] |
| |