Andreas Gohr

For completion, I quote the previous discussion with @cweiske here: > I'm not sure if I want [...] moving docs out of the repository. API docs can be dropped (because...

One more thing: I created wiki pages from the current documentation a few days ago. Should the maintainers decide that the documentation should not be split off the sources, the...

I spent a couple of hours converting and fixing up the document for markdown already. The result is in the wiki. Feel free to redo it in rST or convert...

@BenBE looks like there went something wrong on travis. Can you trigger a rebuild please?

The language file seems to contain a whole lot of non-CSH related commands (like apache, git, etc). I don't think they should be in here.

huh. weird. I never noticed. I would say those shouldn't be there (neither in bash nor csh). Typical shell programming tools like `sed` or `awk` would be okay I'd think,...

Is the build.xml even used anymore? Judging from the version string in there I'd say no. @BenBE you want me to open a PR removing it?

Simply because I didn't know about this when I wrote the tool ;-)

No idea. If there's a way to run tkinter on the frame buffer it should be possible. PR or documentation would be welcome.

I guess that's somewhat out of scope for this project. But pull requests welcome.