From cf98cf2f6dd312687c649bda6484ca1cb9ba0f65 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Sat, 23 Jun 2018 21:48:09 +0200
Subject: geht

---
 animate | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

(limited to 'animate')

diff --git a/animate b/animate
index 13f4793..c536001 100755
--- a/animate
+++ b/animate
@@ -1,2 +1,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
-- 
cgit v1.2.3-54-g00ecf