[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Is it GUI? Or is it IDE?
From: |
Daniel J Sebald |
Subject: |
Is it GUI? Or is it IDE? |
Date: |
Fri, 24 Aug 2012 14:57:35 -0500 |
User-agent: |
Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.24) Gecko/20111108 Fedora/3.1.16-1.fc14 Thunderbird/3.1.16 |
--force-gui Force graphical user interface to start.
--no-gui Disable the graphical user interface.
Before getting too far along, it might worth re-opening the discussion
of the phrase "gui" (graphical user interface) versus "ide" (integrated
development environment) because this was a point of contention in the
past. I may be wrong, but from those threads about four months ago my
conclusion was that things seemed to be leaning toward "ide".
On related syntax issues:
1) Might there be a better option name that doesn't use the word
"force". When I think of software applications, "force" is something
that sort of comes with "caveat emptor" connotations, i.e., something
that typically shouldn't be done, but give it a try and maybe you'll be
lucky. "with-gui" where "with" is sort of the opposite of "no",
perhaps. "--gui" would be fine too.
2) I see "verbose_usage" isn't set up to conditionally display options
based upon wether GUI/IDE is compiled with Octave. I'm fine with that,
but some new users might be confused by... unless (and this may be
preferred) somewhere around here:
if (force_gui_option && no_gui_option)
{
error ("error: only one of --force-gui and --no-gui may be used");
usage ();
}
there is something like
if (force_gui_option)
if (no_gui_option)
{
error ("error: only one of --force-gui and --no-gui may be used");
usage ();
}
#if NO_GUIIDE_COMPILE_IN_THIS_THING
else
{
error ("error: GUI/IDE was not compiled with application");
usage ();
}
#endif
Dan
- Is it GUI? Or is it IDE?,
Daniel J Sebald <=
- Re: Is it GUI? Or is it IDE?, Robert T. Short, 2012/08/24
- Re: Is it GUI? Or is it IDE?, Michael D Godfrey, 2012/08/24
- Re: Is it GUI? Or is it IDE?, Michael D Godfrey, 2012/08/27
- Re: Is it GUI? Or is it IDE?, Daniel J Sebald, 2012/08/28
- Re: Is it GUI? Or is it IDE?, Przemek Klosowski, 2012/08/28
- Re: Is it GUI? Or is it IDE?, Mike Miller, 2012/08/28