IIRC the new GAP banner uses UTF-8. On Monday, July 8, 2013 11:28:23 AM UTC+2, tdumont wrote: > > Le 08/07/2013 10:51, Nils Bruin a �crit : > > On Monday, July 8, 2013 4:05:29 AM UTC+2, Volker Braun wrote: > > > > Fr�d�ric Chapoton has written a patch at > > http://trac.sagemath.org/14733 <http://trac.sagemath.org/14733> > that > > will beautify the Sage startup banner using some UTF-8 characters to > > draw the box. This will display incorrectly in terminals that do not > > support UTF-8. In that case, Sage still works but the box around the > > banner is garbled (most likely rendered by placeholder signs for > > non-ASCII characters). > > > > > > -1 to a UTF-8 banner. There's hardly anything in the sage command line > > that requires a UTF-8 capable terminal (all the colour stuff should shut > > off automatically for a "dumb" terminal). Why require it for *just* the > > banner? > > > > More personally, I dislike the UTF-8 banner because it looks too nice. > > To me it doesn't fit with the simple prompt-and-return-value interface > > (see banners of magma, maple, R, matlab, pari/GP, python, IPython, GAP, > > Singular). The "graphics" looking lines are more suggestive of a > > menu-driven interface to me, like the text-based "dialog" interfaces. So > > to me, the "+-|"-built borders raise expectations more appropriate for > > what sage command line offers. > > > > Is the banner of R so simple? Probably it does not use UTF8, but it > speakes your mother's language (French in my case)... > > -- > > You received this message because you are subscribed to the Google > > Groups "sage-devel" group. > > To unsubscribe from this group and stop receiving emails from it, send > > an email to sage-devel+...@googlegroups.com <javascript:>. > > To post to this group, send email to > > sage-...@googlegroups.com<javascript:>. > > > Visit this group at http://groups.google.com/group/sage-devel. > > For more options, visit https://groups.google.com/groups/opt_out. > > > > > >
-- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.
