This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |
| user_guide:extend:extensions [2019/11/11 23:38] – ↷ Links adapted because of a move operation gawrilow | user_guide:extend:extensions [2021/01/12 15:38] (current) – external edit 127.0.0.1 |
|---|
| |
| To create a really new application from scratch, execute the command\\ ''%%found_application "~/my_ext", "APP_NAME";%%'' \\ | To create a really new application from scratch, execute the command\\ ''%%found_application "~/my_ext", "APP_NAME";%%'' \\ |
| Again, it will create a folder hierarchy rooting at ''my_ext/apps/APP_NAME''. After having composed the rules and/or clients, you may include the ''APP_NAME'' in the custom variable ''@start_applications'' stored in ''prefer.pl'' in your polymake settings directory (usually ''~/.polymake'') so that you'll have your new application at hand in every interactive session. | Again, it will create a folder hierarchy rooting at ''my_ext/apps/APP_NAME''. After having composed the rules and/or clients, you may add the ''APP_NAME'' to the [[:user_guide:howto:shell_custom#custom_variables|custom variable]] ''@start_applications'', so that you'll have your new application at hand in every interactive session. |
| |
| ===== Configuring an extension ===== | ===== Configuring an extension ===== |
| |
| If you later try to load a data file referring to the URI of the obliterated extension, polymake will ask you, as usual, to enter its installation directory. If you are sure that in the meanwhile all the stuff has migrated into the standard distribution and/or other (already loaded) extensions, you should respond with the magic word ''ignore'' . | If you later try to load a data file referring to the URI of the obliterated extension, polymake will ask you, as usual, to enter its installation directory. If you are sure that in the meanwhile all the stuff has migrated into the standard distribution and/or other (already loaded) extensions, you should respond with the magic word ''ignore'' . |
| | |