On 2017-02-04 11:54, Samuel Lelièvre wrote:
> You are right Volker!
> 
> I followed the hint in fidbc's answer at [0]
> 
> [0] https://ask.sagemath.org/question/10060/sage-terminal-colors/
> 
> and I have the following 'init.sage':
> 
>     $ cat $HOME/.sage/init.sage 
>     %colors Linux

I have this as well in my init.sage.

> Should 'make ptestlong' ignore the content of 'init.sage'?

+1, I think (without having thought too much about it...)

> Should I hide my 'init.sage' before running 'make ptestlong'?

This cannot (and should not) be the solution.

Daniel

-- 
You received this message because you are subscribed to the Google Groups 
"sage-release" 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 https://groups.google.com/group/sage-release.
For more options, visit https://groups.google.com/d/optout.

Reply via email to