Does it work if you start the terminal on your desktop with LANG=en_GB.UTF8 gnome-terminal
(or whatever other UTF8 locale you have installed) On Tuesday, August 20, 2013 3:04:19 PM UTC+1, John Cremona wrote: > > On 20 August 2013 14:58, Volker Braun <[email protected] <javascript:>> > wrote: > > > > > > On Tuesday, August 20, 2013 2:51:41 PM UTC+1, John Cremona wrote: > >> > >> 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 . > > > > > > What are you running on your desktop? The terminal displaying things on > the > > desktop needs to support UTF-8, it doesn't have anything to do with the > > remote end. > > It's some Suse version supplied to us by the university (which does > support linux pretty well though few outside mathematics use it, it > seems). > > The terminal progam is gnome-terminal, and as I said, version 2.28.2 > with no custom options at all that I am aware of. > > 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] <javascript:>. > > To post to this group, send email to > > [email protected]<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 [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.
