diff options
author | Romain Gonçalves <me@rgoncalves.se> | 2021-09-19 14:53:31 +0200 |
---|---|---|
committer | Romain Gonçalves <me@rgoncalves.se> | 2021-09-19 14:54:23 +0200 |
commit | 459a48f299c188bbfc024fe14657e3d4802a0b6b (patch) | |
tree | aaed5d3ea5ea2f2ef596e3743d2395b5fe55841a /README.md | |
parent | 1a694966454c5ef3baa5ff831e2671a5a964ce7e (diff) | |
download | website-459a48f299c188bbfc024fe14657e3d4802a0b6b.tar.gz |
src: September sync
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/README.md b/README.md new file mode 100644 index 0000000..4d1f057 --- /dev/null +++ b/README.md @@ -0,0 +1,19 @@ +## Images + +## Storing images + +Any image files (.png, .jpg, .gif, ...) MUST be stored in a separate branch. By +default, those filetypes are ignored in this git repository, and must be added +with `git add -f "${file}"`. + +### Generating images + +All images in the *out* or the *intermediate* directory must be processed with +the following command: + +``` +convert "${in}" -resize 600x -ordered-dither 3x3 -colorspace gray "${out}" +convert "${in}" -resize 600x -ordered-dither 3x3 -colors 16 "${out}" +``` + +- The use of `-colors 16` is encouraged for colored pictures. |