Re: A better "manage.py shell" with syntax highlighting and multiline editing.

2014-10-13 Thread Aaron C. de Bruyn
That's awesome!  Thanks.

-A

On Mon, Oct 13, 2014 at 8:35 AM, Jonathan S 
wrote:

> Hi all,
>
> Two weeks ago I released the python-prompt-toolkit library with the
> "ptpython" REPL. That is a nice python interactive shell with decent
> multiline editing, syntax highlighting and autocompletion.
> For a list of all the features, see:
> http://github.com/jonathanslenders/python-prompt-toolkit
>
> Now django-extensions its "shell_plus" is supporting this as a front-end.
> Do:
>
> pip install -U django-extensions
> pip install -U prompt-toolkit
>
> then add 'django_extensions' to your INSTALLED_APPS in your django
> settings.
>
> If you run "django manage.py shell_plus", then you'll get your new shell.
> If you love IPython and you have IPython installed, then this should
> automatically use IPython as the back-end.
>
> Prompt-toolkit is still beta, but already used by many people, and it
> should feel stable, if you experience any issues, please report at github:
> http://github.com/jonathanslenders/python-prompt-toolkit
> Feature requests are very welcome.
>
> Enjoy!
> Jonathan
>
> django-extensions: https://github.com/django-extensions/django-extensions
>
> --
> You received this message because you are subscribed to the Google Groups
> "Django users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to django-users+unsubscr...@googlegroups.com.
> To post to this group, send email to django-users@googlegroups.com.
> Visit this group at http://groups.google.com/group/django-users.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/django-users/76b1f82a-e8bc-4f4d-a6aa-2d7e0868b39d%40googlegroups.com
> 
> .
> For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google Groups 
"Django users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to django-users+unsubscr...@googlegroups.com.
To post to this group, send email to django-users@googlegroups.com.
Visit this group at http://groups.google.com/group/django-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/django-users/CAEE%2BrGpjOxEt5UWnd4phcZX90S9b21ERyf4B6YtfAQ1x4axz9w%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.


A better "manage.py shell" with syntax highlighting and multiline editing.

2014-10-13 Thread Jonathan S
Hi all,

Two weeks ago I released the python-prompt-toolkit library with the 
"ptpython" REPL. That is a nice python interactive shell with decent 
multiline editing, syntax highlighting and autocompletion.
For a list of all the features, see: 
http://github.com/jonathanslenders/python-prompt-toolkit

Now django-extensions its "shell_plus" is supporting this as a front-end.
Do:

pip install -U django-extensions
pip install -U prompt-toolkit

then add 'django_extensions' to your INSTALLED_APPS in your django settings.

If you run "django manage.py shell_plus", then you'll get your new shell.
If you love IPython and you have IPython installed, then this should 
automatically use IPython as the back-end.

Prompt-toolkit is still beta, but already used by many people, and it 
should feel stable, if you experience any issues, please report at github:
http://github.com/jonathanslenders/python-prompt-toolkit
Feature requests are very welcome.

Enjoy!
Jonathan

django-extensions: https://github.com/django-extensions/django-extensions

-- 
You received this message because you are subscribed to the Google Groups 
"Django users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to django-users+unsubscr...@googlegroups.com.
To post to this group, send email to django-users@googlegroups.com.
Visit this group at http://groups.google.com/group/django-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/django-users/76b1f82a-e8bc-4f4d-a6aa-2d7e0868b39d%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.