Project

General

Profile

Design #527

GUI: better name for the graphical interface?

Added by Anna Maria Bigatti about 10 years ago. Updated over 8 years ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
GUI
Target version:
CoCoA-5.?.?
Start date:
08 Apr 2014
Due date:
% Done:

0%

Estimated time:
Spent time:
0.10 h

Description

the text compilation for cocoa-5 produces CoCoAInterpreter, the GUI compilation produces C5.
Should we give them better names?

Related issues

Related to CoCoA-5 - Support #187: CoCoA-5 (partial) releases: make the process simplerClosed2012-06-13

History

#1 Updated by Anna Maria Bigatti over 9 years ago

  • Target version changed from CoCoA-5.1.1 Seoul14 to CoCoA-5.?.?

#2 Updated by John Abbott over 8 years ago

It is "normal" to call the text version of CoCoA via the script cocoa5.

C5 is rather cryptic as a name for the GUI; JAA would prefer something like cocoa5-gui. How important is this name? On MacOSX, I just click on the icon; perhaps under linux it would be handy to have a nice name...?

We could even arrange for the script to start the GUI if handed the correct arg: e.g. cocoa5 --gui

Also available in: Atom PDF