Opened 14 years ago
Closed 14 years ago
#309 closed defect (fixed)
-p option (Isar interface) does not permit additional parameters to emacs executable
| Reported by: | Florian Haftmann | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | minor | Milestone: | PG-Emacs-4.0 |
| Component: | 2:pg-emacs | Keywords: | emacs -p |
| Cc: |
Description
The -p option in isar/interface does not allow additional parameters to emacs executable, e.g._
-p "emacs-snapshot-gtk --name Isabelle"
In PG 3.7.1 it does. Maybe the reorganized parameter treatment in isar/interface does not treat whitespace as it used to do.
Note: See
TracTickets for help on using
tickets.
This is intentional, option -p is described in the usage as
Emacs program name, notEmacs command line. The behaviour has changed recently, because I've made it a bit more robust against the infamous "spaces in file/directory names" problem. (This happens routinely on Mac OS and Windows.)Anyway, I agree that having full command lines as arguments would be nice, but bash is not lambda calculus, and I do not know a robust way apart from expecting executable "constants", which are "defined" in the file-system as executable files.