On 20 August 2013 14:55, William Stein <wst...@gmail.com> wrote: > > 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. >
OK, I wil try it out (also just read http://dominik.honnef.co/posts/2010/10/why_you_should_try_tmux_instead_of_screen/). >> 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. -- 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.
