answered 8 years ago
The answer is yes, see some more details on this answer : https://ask.sagemath.org/question/35826/terminal-with-autocomplete-no-longer-useful/