1 | initial version |
Hi,
It is because of that modification ticket 14733. What changes is that there are now some utf8 characters in the banner. It has been controversial and the related discussion may be found here.
A quick and dirty fix would be to modify the file sage-banner in the directory $SAGE_ROOT/bin/sage-banner. It is simply a text file that is generated at the build time of Sage and that will be used each time you launch Sage.
Feel free to post a message on sage-devel saying that you are unhappy!
2 | wrong directory |
Hi,
It is because of that modification ticket 14733. What changes is that there are now some utf8 characters in the banner. It has been controversial and the related discussion may be found here.
A quick and dirty fix would be to modify the file sage-banner in the directory $SAGE_ROOT/bin/sage-banner. $SAGE_ROOT/local/bin/. It is simply a text file that is generated at the build time of Sage and that will be used each time you launch Sage.
Feel free to post a message on sage-devel saying that you are unhappy!