add media

Author: andr-ew

.gitignore

@@ -0,0 +1 @@
+.DS_Store

example_p5.html

@@ -43,7 +43,6 @@
             }
 
             let start;
-
             function draw() {
                 const now = millis();
                 if (start === undefined) start = now;

media/.DS_Store

@@ -0,0 +1,6 @@
+#!/bin/bash
+
+width="800"
+fps="24"
+
+for f in *.webm; do gifski $f -r $fps -W $width --output ${f%.*}.gif; done

media/convert_gif.sh

@@ -0,0 +1,3 @@
+#!/bin/bash
+
+for f in *.webm; do ffmpeg -i $f ${f%.*}.mp4; done