fix screen recording terminal sizing (#1130)

Schniz · May 27, 2024 · 098bd52 · 098bd52
1 parent d9af62f
commit 098bd52
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 2 deletions.
diff --git a/.ci/record_screen.sh b/.ci/record_screen.sh
@@ -20,7 +20,11 @@ RECORDING_PATH=$DIRECTORY/screen_recording
 
 (rm -rf "$RECORDING_PATH" &> /dev/null || true)
 
-asciinema rec -c "$DIRECTORY/recorded_screen_script.sh" "$RECORDING_PATH"
+asciinema rec \
+  --command "$DIRECTORY/recorded_screen_script.sh" \
+  --cols 70 \
+  --rows 17 \
+  "$RECORDING_PATH"
 sed "s@$TEMP_DIR@~@g" "$RECORDING_PATH" | \
   svg-term \
     --window \

diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -30,7 +30,7 @@ sysinfo = "0.29.3"
 thiserror = "1.0.44"
 clap_complete = "4.3.1"
 anyhow = "1.0.71"
-indicatif = "0.17.8"
+indicatif = { version = "0.17.8", features = ["improved_unicode"] }
 
 [dev-dependencies]
 pretty_assertions = "1.4.0"