The following command line arguments can be used:
Argument | Short form | Meaning |
---|---|---|
--line x | -l x | Go to line x |
--col x | -c x | Go to column x |
--scheme name | -s name | Use the named scheme (look in .scheme files to find the name) |
--allowmulti | Override configuration and allow multiple instances | |
--checkassoc | Check file associations | |
--exit | Exit (used for spawned processes, listed for completeness) | |
--reset | Reset user settings and interface settings (if your PN has gone wrong!) | |
--safemode | Run PN without loading any extensions |