On Aug 20, 2013 6:53 AM, "John Cremona" <john.crem...@gmail.com> wrote: > > On 20 August 2013 14:50, William Stein <wst...@gmail.com> wrote: > > > > On Aug 20, 2013 6:45 AM, "David Loeffler" <d.a.loeff...@warwick.ac.uk> > > wrote: > >> > >> Hi John, > >> > >> Are you maybe using Sage inside a screen session? Apparently screen > >> doesn't play nicely with UTF-8 characters, unless you invoke it with > >> "screen -U". > > > > If so, time to switch to tmux!!! > > Never heard of it -- some kind of screen only better? >
It is like screen but way better. And, easier to Google. > John > > > > >> > >> David > >> > >> On 20 August 2013 14:24, Volker Braun <vbraun.n...@gmail.com> 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 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. > >> > >> -- > >> 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. > > > > -- > > 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. > > -- > 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. -- 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.
