On Thu, Nov 5, 2015 at 3:29 PM, Justin C. Walker <jus...@mac.com> wrote: > Hi, > > In the distant past, I knew how to configure Sage to handle TAB completion > this way: > - one TAB: complete if unique prefix typed; else > - second TAB: list all possible > > I have not been able to determine how to achieve this in recent versions: I > always get a complete list on one TAB, and after searching the doc, I am lost > in a twisty maze of passages, all looking strangely similar. > > Suggestions or clues welcome.
More generally, how does one configure anything about IPython for the sage command prompt anymore. IPython's config used to be a nicely documented file, which we customized for sage and dropped in ~/.sage/ipython. Now it seems our customization is done via Python code in [SAGE_ROOT]/src/sage/repl/interpreter.py. How can one customize what's done, aside from editing that code? For example, what if I want to change the "sage:" prompt, or the color scheme, or whatever, but keep everything else the same? -- William > > Thanks! > > Justin > > -- > Justin C. Walker, Curmudgeon at Large > Institute for the Absorption of Federal Funds > ----------- > If it weren't for carbon-14, I wouldn't date at all. > ----------- > > > -- > You received this message because you are subscribed to the Google Groups > "sage-support" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-support+unsubscr...@googlegroups.com. > To post to this group, send email to sage-support@googlegroups.com. > Visit this group at http://groups.google.com/group/sage-support. > For more options, visit https://groups.google.com/d/optout. -- William (http://wstein.org) -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
