diff INSTALL @ 3565:d66a8453b02b

plugin app manager: add a way to create files: a `files` field can now be used to create files on the fly. Its value must be a dict where key are file names, and values are an other dict with file data. For now file data can only use the `content` key. Value of content will be written to the file. If a file already exists, it is not overwritten.
author Goffi <goffi@goffi.org>
date Sat, 12 Jun 2021 15:10:49 +0200
parents 457ae6381e2a
children 84f6bee6440d
line wrap: on
line diff