add header to asciinema videos

NixOS · Sep 15, 2020 · 5c09019 · 5c09019
1 parent 5befd3f
commit 5c09019
Show file tree

Hide file tree

Showing 6 changed files with 12 additions and 0 deletions.
diff --git a/demos/cover.scenario b/demos/cover.scenario
@@ -1,3 +1,5 @@
+#! { "step": 0.10, "width": 77, "height": 20 }
+
 # Instructions:
 # * empty lines will be skipped
 # * lines starting with "#" will be skipped

diff --git a/demos/example_1.scenario b/demos/example_1.scenario
@@ -1,3 +1,5 @@
+#! { "step": 0.10, "width": 77, "height": 20 }
+
 $ # Lets see if python is present on the system
 $ python --version
 python: command not found

diff --git a/demos/example_2.scenario b/demos/example_2.scenario
@@ -1,3 +1,5 @@
+#! { "step": 0.10, "width": 77, "height": 20 }
+
 $ # Lets create an environment with multiple packages
 $ nix-shell -p python3 nodejs go rustc
 (nix-shell) $ node --version

diff --git a/demos/example_3.scenario b/demos/example_3.scenario
@@ -1,3 +1,5 @@
+#! { "step": 0.10, "width": 77, "height": 20 }
+
 $ # You can also persist your development environment.
 $ # Here is a short example with python and nodejs:
 $ bat default.nix

diff --git a/demos/example_4.scenario b/demos/example_4.scenario
@@ -1,3 +1,5 @@
+#! { "step": 0.10, "width": 77, "height": 20 }
+
 $ # We all love docker. But it becomes hard with time to write 
 $ # reliable Dockerfile.
 $ # What if you can use the power of Nix and build Docker images?

diff --git a/demos/example_5.scenario b/demos/example_5.scenario
@@ -1,3 +1,5 @@
+#! { "step": 0.10, "width": 77, "height": 20 }
+
 $ # How hard would it be to build and configure an Amazon EC2 image?
 $ # Let us configure a Nginx to serve a "Welcome to nginx!" page, with a 
 $ # valid SSL certificate (via LetsEncrypt) and recommended security settings