blob: c536001dff413371ae1b9f86cd9e1540f1c1043c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
#!/bin/sh
set -e
cd "$(dirname "$0")"
mpost polyeder.mp
find . -maxdepth 1 -name 'polyeder-*.mps' \
-exec convert -depth 2 "{}" "{}.bmp" \; \
-delete
convert -delay 3 $(
find . -maxdepth 1 -name 'polyeder-*.mps.bmp' |
sed 's/^.*-\([0-9]\+\)\.mps\.bmp$/\1 \0/' | \
sort -k1n,1 | \
cut -d' ' -f2
) polyeder.gif
find . -maxdepth 1 -name 'polyeder-*.mps.bmp' \
-delete
|
