# Generated from lib/blog/terminal-sessions.json with VHS 0.11.0.
# Source-pinned expected I/O; no network, credential, or live endpoint is used.
Output public/blog/terminal/vi-profile-and-fallback-checks.webm
Output public/blog/terminal/vi-profile-and-fallback-checks.mp4
Output public/blog/terminal/vi-profile-and-fallback-checks.ascii

Set Shell bash
Set FontFamily "DejaVu Sans Mono"
Set FontSize 18
Set Width 1280
Set Height 720
Set Padding 24
Set Margin 0
Set Framerate 30
Set PlaybackSpeed 1.0
Set TypingSpeed 12 ms
Set CursorBlink false
Set Theme {"name":"zkdeal","black":"#07192f","red":"#ff6b6b","green":"#55d690","yellow":"#ffd166","blue":"#64a5ff","magenta":"#ad8cff","cyan":"#5ad9d0","white":"#f4f8ff","brightBlack":"#567091","brightRed":"#ff8a8a","brightGreen":"#7ae2a7","brightYellow":"#ffe08a","brightBlue":"#8bbcff","brightMagenta":"#c2aaff","brightCyan":"#82e7df","brightWhite":"#ffffff","background":"#07192f","foreground":"#dce9fb","selection":"#21466f","cursor":"#64a5ff"}

Hide
Type `DEMO_WORKSPACE=$(mktemp -d /tmp/zkdeal-vi-profile-and-fallback-checks.XXXXXX) && export DEMO_WORKSPACE && printf %s ZXhwb3J0IFBTMT0nJCAnCmV4cG9ydCBQUk9NUFRfQ09NTUFORD0nJwpqcSgpewogIGlmIFsgIiQxIiA9ICItciIgXSAmJiBbICIkIyIgLWdlIDMgXTsgdGhlbgogICAgY2FzZSAiJDIiIGluCiAgICAgIC50cmFuc2FjdGlvbnMuc3VibWl0KSBwcmludGYgJyVzXG4nICcweGFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWEnOyByZXR1cm4gMCA7OwogICAgICAudHJhbnNhY3Rpb25zLnN1Ym1pdEJsb2NrKSBwcmludGYgJyVzXG4nICcxMjMnOyByZXR1cm4gMCA7OwogICAgICAuY29udHJhY3RzLm1hbmFnZXIpIHByaW50ZiAnJXNcbicgJzB4YmJiYmJiYmJiYmJiYmJiYmJiYmJiYmJiYmJiYmJiYmJiYmJiYmJiYic7IHJldHVybiAwIDs7CiAgICBlc2FjCiAgZmkKICBjYXQKfQp0ZXN0KCl7IHJldHVybiAwOyB9CmdpdCgpeyBsb2NhbCB6a2RlYWxfY291bnQ7IHprZGVhbF9jb3VudD0kKGNhdCAkREVNT19XT1JLU1BBQ0UvZ2l0LWNhbGwgMj4vZGV2L251bGwgfHwgcHJpbnRmIDApOyB6a2RlYWxfY291bnQ9JCgoemtkZWFsX2NvdW50KzEpKTsgcHJpbnRmICclcycgIiR6a2RlYWxfY291bnQiID4gJERFTU9fV09SS1NQQUNFL2dpdC1jYWxsOyBjYXNlICIkemtkZWFsX2NvdW50IiBpbiAxKSBpZiBbICIkMSIgPSBjbG9uZSBdOyB0aGVuIG1rZGlyIC1wICIke0A6IC0xfSI7IGZpOyBwcmludGYgJyVzXG4nICdDbG9uaW5nIGludG8gJyInIidrdXJ0b3Npcy10ZXN0aW5nJyInIicuLi4nOyByZXR1cm4gMCA7OyAyKSBpZiBbICIkMSIgPSBjbG9uZSBdOyB0aGVuIG1rZGlyIC1wICIke0A6IC0xfSI7IGZpOyBwcmludGYgJyVzXG4nICdIRUFEIGlzIG5vdyBhdCA4YjQxMDQ4JzsgcmV0dXJuIDAgOzsgKikgcmV0dXJuIDAgOzsgZXNhYzsgfQpjdXJsKCl7IGxvY2FsIHprZGVhbF9jb3VudDsgemtkZWFsX2NvdW50PSQoY2F0ICRERU1PX1dPUktTUEFDRS9jdXJsLWNhbGwgMj4vZGV2L251bGwgfHwgcHJpbnRmIDApOyB6a2RlYWxfY291bnQ9JCgoemtkZWFsX2NvdW50KzEpKTsgcHJpbnRmICclcycgIiR6a2RlYWxfY291bnQiID4gJERFTU9fV09SS1NQQUNFL2N1cmwtY2FsbDsgY2FzZSAiJHprZGVhbF9jb3VudCIgaW4gMSkgcHJpbnRmICclc1xuJyAneyJkZWNpc2lvbiI6IlJFQURZIiwiYWxsU2VydmljZXNSZWFkeSI6dHJ1ZSwiZ3B1IjoiTlZJRElBIEdlRm9yY2UgUlRYIDUwOTAiLCJjaGVja3BvaW50SW5kZXhlZCI6dHJ1ZSwiZXhwbG9yZXJVcmwiOiJodHRwOi8vMTI3LjAuMC4xOjMyMDAifSc7IHJldHVybiAwIDs7IDIpIHByaW50ZiAnJXNcbicgJ3siaWQiOiJzaG9wIiwibmFtZSI6IlBlcnNpc3RlbnQgdG9rZW5pemVkIHNob3AiLCJhY3Rpb25zIjoyfSc7IHJldHVybiAwIDs7ICopIHJldHVybiAwIDs7IGVzYWM7IH0KbnZpZGlhLXNtaSgpeyBsb2NhbCB6a2RlYWxfY291bnQ7IHprZGVhbF9jb3VudD0kKGNhdCAkREVNT19XT1JLU1BBQ0UvbnZpZGlhLXNtaS1jYWxsIDI+L2Rldi9udWxsIHx8IHByaW50ZiAwKTsgemtkZWFsX2NvdW50PSQoKHprZGVhbF9jb3VudCsxKSk7IHByaW50ZiAnJXMnICIkemtkZWFsX2NvdW50IiA+ICRERU1PX1dPUktTUEFDRS9udmlkaWEtc21pLWNhbGw7IGNhc2UgIiR6a2RlYWxfY291bnQiIGluIDEpIHByaW50ZiAnJXNcbicgJ05WSURJQSBHZUZvcmNlIFJUWCA1MDkwJzsgcmV0dXJuIDAgOzsgKikgcmV0dXJuIDAgOzsgZXNhYzsgfQprdXJ0b3NpcygpeyBsb2NhbCB6a2RlYWxfY291bnQ7IHprZGVhbF9jb3VudD0kKGNhdCAkREVNT19XT1JLU1BBQ0Uva3VydG9zaXMtY2FsbCAyPi9kZXYvbnVsbCB8fCBwcmludGYgMCk7IHprZGVhbF9jb3VudD0kKCh6a2RlYWxfY291bnQrMSkpOyBwcmludGYgJyVzJyAiJHprZGVhbF9jb3VudCIgPiAkREVNT19XT1JLU1BBQ0Uva3VydG9zaXMtY2FsbDsgY2FzZSAiJHprZGVhbF9jb3VudCIgaW4gMSkgcmV0dXJuIDAgOzsgKikgcmV0dXJuIDAgOzsgZXNhYzsgfQpjcCgpeyBsb2NhbCB6a2RlYWxfY291bnQ7IHprZGVhbF9jb3VudD0kKGNhdCAkREVNT19XT1JLU1BBQ0UvY3AtY2FsbCAyPi9kZXYvbnVsbCB8fCBwcmludGYgMCk7IHprZGVhbF9jb3VudD0kKCh6a2RlYWxfY291bnQrMSkpOyBwcmludGYgJyVzJyAiJHprZGVhbF9jb3VudCIgPiAkREVNT19XT1JLU1BBQ0UvY3AtY2FsbDsgY2FzZSAiJHprZGVhbF9jb3VudCIgaW4gMSkgcmV0dXJuIDAgOzsgKikgcmV0dXJuIDAgOzsgZXNhYzsgfQpzZWQoKXsgbG9jYWwgemtkZWFsX2NvdW50OyB6a2RlYWxfY291bnQ9JChjYXQgJERFTU9fV09SS1NQQUNFL3NlZC1jYWxsIDI+L2Rldi9udWxsIHx8IHByaW50ZiAwKTsgemtkZWFsX2NvdW50PSQoKHprZGVhbF9jb3VudCsxKSk7IHByaW50ZiAnJXMnICIkemtkZWFsX2NvdW50IiA+ICRERU1PX1dPUktTUEFDRS9zZWQtY2FsbDsgY2FzZSAiJHprZGVhbF9jb3VudCIgaW4gMSkgcmV0dXJuIDAgOzsgKikgcmV0dXJuIDAgOzsgZXNhYzsgfQpmaW5kKCl7IHJldHVybiAwOyB9CnJtKCl7IHJldHVybiAwOyB9CmRvY2tlcigpeyByZXR1cm4gMDsgfQpub2RlKCl7IHJldHVybiAwOyB9CmdyZXAoKXsgcmV0dXJuIDE7IH0Kc2hhMjU2c3VtKCl7IHJldHVybiAwOyB9Cg== | base64 -d > "$DEMO_WORKSPACE/fixture.sh" && cd "$DEMO_WORKSPACE" && . "$DEMO_WORKSPACE/fixture.sh" && clear`
Enter
Wait+Line /[$]$/
Show
Type `git clone https://github.com/zkdeal/zkdeal-testing.git kurtosis-testing && \`
Enter
Type `  git -C kurtosis-testing checkout 8b41048 && cd kurtosis-testing`
Enter
Wait+Line /[$]$/
Sleep 350 ms
Type `nvidia-smi --query-gpu=name --format=csv,noheader | head -n 1`
Enter
Wait+Line /[$]$/
Sleep 350 ms
Type `GPU_NAME='NVIDIA GeForce RTX 5090' && \`
Enter
Type `  test "$(nvidia-smi --query-gpu=name --format=csv,noheader | head -n 1)" = "$GPU_NAME" && \`
Enter
Type `  PROVER_IMAGE='docker.io/zkdeal/prover-cuda:sm120@sha256:ab171bcd37f8254bc36679721b5761cd081fceada85f408ad0c3fce8eeedd815' && \`
Enter
Type `  CONTROL_IMAGE='docker.io/zkdeal/coordinator:20260823-5090rc@sha256:5de5e3d9344e8fa33e63106aa4ccd82e80d5ff10f8723e8011ffc5896bb28a45'`
Enter
Wait+Line /[$]$/
Sleep 350 ms
Type `cp package/params/public.yaml package/params/public.generated.yaml && \`
Enter
Type `  sed -i -e 's/status: TEMPLATE/status: READY/' -e 's/case: base/case: shop/' \`
Enter
Type `  -e 's/prove_queue: false/prove_queue: true/' \`
Enter
Type `  -e "s|^gpu_name:.*|gpu_name: \"$GPU_NAME\"|" \`
Enter
Type `  -e "s|^  prover:.*|  prover: $PROVER_IMAGE|" \`
Enter
Type `  -e "s|^  runner:.*|  runner: $CONTROL_IMAGE|" \`
Enter
Type `  -e "s|^  server:.*|  server: $CONTROL_IMAGE|" package/params/public.generated.yaml`
Enter
Wait+Line /[$]$/
Sleep 350 ms
Type `! grep -Eq 'TEMPLATE|CURRENT_GPU_NOT_MEASURED|REPLACE-AT-PUBLISH' \`
Enter
Type `  package/params/public.generated.yaml`
Enter
Wait+Line /[$]$/
Sleep 350 ms
Type `kurtosis run ./package --args-file package/params/public.generated.yaml \`
Enter
Type `  --enclave zkdeal-public --image-download missing`
Enter
Wait+Line /[$]$/
Sleep 350 ms
Type `curl -fsS http://127.0.0.1:3100/demo/v1/system | jq -c \`
Enter
Type `  '{decision,allServicesReady:([.services[].status]|all(.=="READY")),gpu:.gpu.name,checkpointIndexed:(.canary.explorerUrl!=null),explorerUrl}'`
Enter
Wait+Line /[$]$/
Sleep 350 ms
Type `curl -fsS http://127.0.0.1:3100/demo/v1/presets | jq -c \`
Enter
Type `  '[.presets[]|select(.id=="shop")|{id,name,actions:(.actions|length)}][0]'`
Enter
Wait+Line /[$]$/
Sleep 350 ms
Screenshot public/blog/terminal/vi-profile-and-fallback-checks-poster.png
Sleep 1 s