edit-server
a server for editing files (locally)
An edit server written in python, compatible with TextAid and other similar
google chrome extensions. The purpose of which is to edit a browser's
textarea in an external text editor (like vim, emacs, etc...)
Runs on port 9292, or whatever port you pass in (see --help)
Listens on the local interface only.
Editor command is defaulted to `gvim -f`, but will use ARGV instead
if you give it any (non-optional) arguments.
Incremental file editing:
-------------------------
Supports incremental editing, which requires a version of the chrome plugin
released after 2010-10-24. If you find your textareas never update after the
first time you save the file in your editor, your version is too old. You can
use --no-incremental to revert to the old behaviour.
[Tech details]
The incremental editing uses two HTTP headers, "x-file" and "x-open".
"x-open: true" means the editor has not finished, and another request should be made
immediately. "x-file: FILENAME" (returned from the server) provides the value to be
provided as the "x-file" request header for the subsequent request.
if "x-file" is not "true", the editing has finished and no more requests should be
made.
http://github.com/gfxmonk/edit-server
--pidfile
/tmp/edit-server.pid
-e
--pidfile
/tmp/edit-server.pid
-e
--with-doctest
--exe
--with-doctest
--exe
--pidfile
/tmp/edit-server.pid
-e