[sage-devel] Re: 8.3.rc1: issue with sage banner

2018-07-24 Thread Samuel Lelievre
Note that you can run sage -v to get just the version; and sage -q to start in quiet mode (no banner). Combining them gives a "simplified banner". $ sage -v; sage -q SageMath version 8.3.rc2, Release Date: 2018-07-22 sage: -- You received this message because you are

[sage-devel] Re: 8.3.rc1: issue with sage banner

2018-07-21 Thread David . Coudert
Fixed: I had to ensure that languages variables (LANGUAGES, LC_ALL, LANG) are well set. This was somehow done by default with previous versions of the system. Best, Le vendredi 20 juillet 2018 14:45:33 UTC+2, david@inria.fr a écrit : > > I just did a fresh install of sagemath (git clone …)