mirror of
https://github.com/martinvonz/jj.git
synced 2024-09-11 13:56:29 +03:00
78050b3d42
It can take quite a while to record a demo. This patch adds a `--fast` flag for reducing delays to a tenth of the usual. You can play the recording with `asciinema play -s 0.1` to get close-to-normal speed (except that command delays will be slower). That way you can adjust timings with shorter round-trips.
22 lines
506 B
Bash
Executable File
22 lines
506 B
Bash
Executable File
#!/bin/bash
|
|
set -euo pipefail
|
|
. "$(dirname "$0")"/demo_helpers.sh
|
|
parse_args "$@"
|
|
|
|
new_tmp_dir
|
|
|
|
run_demo 'Clone a Git repo' '
|
|
run_command "# Clone a Git repo:"
|
|
run_command "jj git clone https://github.com/octocat/Hello-World"
|
|
run_command "cd Hello-World"
|
|
pause 1
|
|
run_command "# Inspect it:"
|
|
pause 1
|
|
run_command "jj log"
|
|
pause 5
|
|
run_command "jj diff -r b1"
|
|
pause 2
|
|
run_command "# The repo is backed by the actual Git repo:"
|
|
run_command "git --git-dir=.jj/store/git log --graph --all --decorate --oneline"
|
|
'
|