Collection of mostly command line tools / PHP scripts. Somewhat out of date.

⌈⌋ ⎇ branch:  scripts + snippets


Help: fileedit-glob

The "fileedit-glob" setting:

A comma- or newline-separated list of globs of filenames which are allowed to be edited using the /fileedit page. An empty list prohibits editing via that page. Note that it cannot edit binary files, so the list should not contain any globs for, e.g., images or PDFs.