run0edit

Edit non-user-editable files using an unprivileged editor. Works by -

• copying the contents to a temporary file
• invoking RUN0_EDITOR or EDITOR if the former is not set
• dding the new contents back under run0