On 20 August 2013 14:58, Volker Braun <[email protected]> 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]. > 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.
