Adapted recorder.rb and generate_gifs.sh to websockets.

2019-10-23 12:37:25 +02:00
parent f5d47fe7da
commit 2a6f68cc45
4 changed files with 111 additions and 75 deletions
--- a/src/tools/generate_gifs.sh
+++ b/src/tools/generate_gifs.sh
@ -1,7 +1,7 @@
 #!/bin/bash

 IP="$1"
-EFFECTS=`egrep "case" ../effects.cpp | tr -s "\t" " " | cut -d" " -f 7 | sort`
+EFFECTS=`./list_effects.rb $IP | sort`

 mkdir effects