On 20 August 2013 21:58, William Stein <[email protected]> wrote: > > On Aug 20, 2013 12:12 PM, "Jason Grout" <[email protected]> wrote: >> >> On 8/20/13 1:54 PM, John Cremona wrote: >>> >>> No doubt no-one is still reading this thread but I will post one more >>> entry when am back in the office tomorrow. >> >> >> I am :). >> >> I sure hope this cosmetic change that is causing so much headache doesn't >> turn away many people. Personally, I don't think the change was worth the >> trouble it causes. >> >> Jason > > I think in the long run it will increase the number of users because it > forces us all to be more unicode aware.
Probably right. If my main desktop terminal was badly configured so that it would not even display man pages without strangeness (in the bold face words) that was something I would have noticed and fixed regardless of the sage banner. And it is worth while all of learning the kind of misconfiguration which causes it to happen so we can help others. John > > William > >> >> >> >> -- >> 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. -- 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.
