It is GNOME Terminal 2.28.2. The banner looks fine on my laptop -- running ubuntu 12.04 -- but not when I log into a remote machine (ubuntu 12.04) from my desktop .
In the Terminal menu for the terminal under "Set character encoding" it is set to UTF-8. I'm not running inder screen (but thanks for that suggestion anyway David -- this is on fermat.warwick.ac.uk!). Anything else I should be checking? On 20 August 2013 14:24, Volker Braun <[email protected]> wrote: > You need a UTF-8 capable terminal (independently of Sage it would be a good > time to switch). See also screenshots at: > > http://boxen.math.washington.edu/home/vbraun/UTF8/ > > > > > > On Tuesday, August 20, 2013 2:14:41 PM UTC+1, John Cremona wrote: >> >> 5.12 introduced a new encoding for the Sage header. I remember some >> discussion on this list of whether it was a good idea or not. I >> probably cannot cut and paste here to show you how weird this looks >> for me, but it's a mess of chinese-looking characters: >> >> >> ┌────────────────────────────────────────────────────────────────────┠>> │ Sage Version 5.12.beta1, Release Date: 2013-08-16 │ >> │ Type "notebook()" for the browser-based notebook interface. │ >> │ Type "help()" for help. │ >> >> └────────────────────────────────────────────────────────────────────┘ >> ┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠>> ┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠>> ┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┓ >> ┃ Warning: this is a prerelease version, and it may be unstable. ┃ >> ┗┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠>> ┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠>> ┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┠┛ >> sage: >> >> (they are not all a-circumflex as tey appear in my gmail window). >> >> I tried switching my locale setting but it made no difference. What >> magic do I need to use to make this look reasonable? And then we >> should add instructions to the FAQ since we'll surely get many more >> similar comments? (I confess that I did not check the FAQ before >> posting this....) >> >> John > > -- > 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 [email protected]. > To post to this group, send email to [email protected]. > 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.
