demo-shell.sh RawHistoryFolder

1#!/usr/bin/env bash
2set -euo pipefail
3session=${VEV:-}
4unset VEV
5
6case "${VEV_DEMO_SCENE:-}" in
7remote-deploys)
8	work_marker=/tmp/vev-demo-work-shown
9	if [[ $session != session=work,* || -e $work_marker ]]; then
10		exec /bin/bash --noprofile --norc
11	fi
12	: >"$work_marker"
13	printf '\033]0;deploys · remote\007'
14	printf '\n\033[1;36mDeploy queue · remote\033[0m\n\n'
15	printf '  \033[32m✓\033[0m api-gateway     production   3m ago\n'
16	printf '  \033[32m✓\033[0m web-console     production   7m ago\n'
17	printf '  \033[33m•\033[0m worker-pool     staging      running\n\n'
18	printf 'Use the session picker to jump between this host and local work.\n\n'
19	exec /bin/bash --noprofile --norc
20	;;
21remote-ticker)
22	exec ticker
23	;;
24esac
25
26exec /bin/bash --noprofile --norc