Comment 1 for bug 182540

Revision history for this message
Tom Davidson (tjd-mit) wrote : Re: Way to chose path to preferences.xml

So, something like a command-line option, ('--prefs-file=/path/to/preferences.xml') so that you can specify it at runtime or in shell scripts...