[Bug 56] it's impossible to pass command-line parameters to abc extensions

http://abc.comlab.ox.ac.uk/cgi-bin/bugzilla/show_bug.cgi?id=56

------- Additional Comments From ganesh@earth.li 2005-12-14 21:33 -------
The simplest and least dangerous option is to pass any options between +abc.tm
and -abc.tm to the the extension.

An alternative would be to allow the extension to inspect and modify the entire
set of command-line options before base abc does. We'd have to first of all
handle -ext abc.tm options, of course.

Or we could implement both, where the extension can choose to override the base
option handling method and thus take total control, or just implement a method
that the base will call for the options between +abc.tm and -abc.tm.

------- You are receiving this mail because: -------
You are the assignee for the bug, or are watching the assignee.
Received on Wed Dec 14 21:33:27 2005