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]] |
| |