12345678#!/usr/bin/env bash# Open a shell (or run a command) in the paseo container as the paseo user.set -euo pipefailif [[ $# -eq 0 ]]; then set -- fishfiexec docker exec -it --user paseo -w /workspace paseo "$@"