Update.

[picoclvr.git] / greed.py

diff --git a/greed.py b/greed.py
index 3cbe886..20cef79 100755 (executable)
--- 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__":