X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=blobdiff_plain;f=greed.py;h=20cef79d1a5735c972dd08c9a8112ede26066877;hb=209f48148a9695069de628ba679345e8f95efa30;hp=3cbe8864f8a407b3fdc2a06132bd2d99f95dcaca;hpb=aa21f7edd3969ca509dfc1378fb5d1a1f7ebf9d1;p=picoclvr.git

diff --git a/greed.py b/greed.py
index 3cbe886..20cef79 100755
--- a/greed.py
+++ b/greed.py
@@ -300,7 +300,8 @@ def save_seq_as_anim_script(seq, filename):
             )
             f.write(episodes2str(lr, s, a, r, unicode=True, ansi_colors=True))
             f.write("EOF\n")
-            f.write("sleep 0.5\n")
+            f.write("sleep 0.25\n")
+        print(f"Saved {filename}")
 
 
 if __name__ == "__main__":