Skip to content
Prev 3237 / 63424 Next

gnome support fail on startup (PR#426)

On Thu, 10 Feb 2000 maechler@stat.math.ethz.ch wrote:

            
It says in the NEWS:

    o   Long-named options with arguments such as `--vsize' now use the
        `--name=VALUE' form; the old `--name VALUE' is deprecated.

    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
deprecated!