Convert all asciinema into live players - ensure there is a GIF for older casts, remove the dangling CSS/JS

2024-08-05 17:13:39 +02:00
parent e409c7112f
commit 221697a65b
15 changed files with 2247 additions and 3800 deletions
@@ -1,4 +1,4 @@
-{"version": 2, "width": 150, "height": 47, "timestamp": 1628890951, "env": {"SHELL": "/bin/zsh", "TERM": "xterm-256color"}}
+{"version": 2, "width": 150, "height": 47, "theme":{"fg": "#ffffff","bg":"#000000", "palette":"#000000:#990000:#00A600:#999900:#0000B3:#B300B3:#999900:#BFBFBF:#666666:#F60000:#00F600:#F6F600:#0000F6:#F600F6:#00F6F6:#F6F6F6"}, "timestamp": 1628890951, "env": {"SHELL": "/bin/zsh", "TERM": "xterm-256color"}}
 [0.030413, "o", "\u001b[1m\u001b[7m%\u001b[27m\u001b[1m\u001b[0m                                                                                                                                                     \r \r"]
 [0.030922, "o", "\u001b]7;file://102-main.rfc1918.ipng.nl/Users/pim\u0007"]
 [0.032409, "o", "\r\u001b[0m\u001b[27m\u001b[24m\u001b[Jpim@102-main ~ % \u001b[K\u001b[?2004h"]
@@ -1,4 +1,4 @@
-{"version": 2, "width": 100, "height": 48, "timestamp": 1629889803, "env": {"SHELL": "/bin/zsh", "TERM": "xterm-256color"}}
+{"version": 2, "width": 100, "height": 48, "theme":{"fg": "#ffffff","bg":"#000000", "palette":"#000000:#990000:#00A600:#999900:#0000B3:#B300B3:#999900:#BFBFBF:#666666:#F60000:#00F600:#F6F600:#0000F6:#F600F6:#00F6F6:#F6F6F6"}, "timestamp": 1629889803, "env": {"SHELL": "/bin/zsh", "TERM": "xterm-256color"}}
 [0.026584, "o", "Restored session: Wed Aug 25 13:09:17 CEST 2021\r\n"]
 [0.029542, "o", "\u001b[1m\u001b[7m%\u001b[27m\u001b[1m\u001b[0m                                                                                                   \r \r"]
 [0.02992, "o", "\u001b]7;file://102-main.rfc1918.ipng.nl/Users/pim\u0007"]