[Rd] gnome support fail on startup (PR#426)
Peter Dalgaard BSA
10 Feb 2000 14:42:09 +0100
Prof Brian D Ripley <firstname.lastname@example.org> writes:
> o New command line option `--gui' to specify the graphical user
> interface under Unix. Currently, possible values are `X11' (the
> (default) and `GNOME', provided that GNOME support is available.
> Command line options \`-g' and `--gnome' are defunct.
> which seems clear enough to me. -gui GNOME never existed to be
Never said it did... However the point is that one gets an odd error
message if we don't catch the --gui argument, and while we're there
we might as well look for a following value.
Another options would be to have the script switch catch '--gui*'
instead of '--gui=*' and just let it barf on the absent binary. (The
sed bit should probably read sed -e 's/[^=]*=*//' then)
I'm no fan of removing short-form options in general. Whoever
disagrees should be forced to type "R --debugger=gdb" every time he
needs to restart during a bug hunt... ;)
O__ ---- Peter Dalgaard Blegdamsvej 3
c/ /'_ --- Dept. of Biostatistics 2200 Cph. N
(*) \(*) -- University of Copenhagen Denmark Ph: (+45) 35327918
~~~~~~~~~~ - (email@example.com) FAX: (+45) 35327907
r-devel mailing list -- Read http://www.ci.tuwien.ac.at/~hornik/R/R-FAQ.html
Send "info", "help", or "[un]subscribe"
(in the "body", not the subject !) To: firstname.lastname@example.org