#!/usr/bin/env bash
# $1: bash script; $2…: arguments (bash -c "…script…" 'bash' …arguments…)
#
# The home-server project produces a multi-purpose setup using Ansible.
# Copyright © 2018–2023 Y. Gablin, under the GPL-3.0-or-later license.
# Full licensing information in the LICENSE file, or gnu.org/licences/gpl-3.0.txt if the file is missing.

cmd="$(printf "%q" "$1")"; shift
args=()
while [ $# -gt 0 ]; do args+=("$(printf "%q" "$1")"); shift; done
exec ssh -i ~/.ssh/id-chroot -o StrictHostKeyChecking=no -p 20022 -T 10.0.2.2 bash -c "$cmd" bash "${args[@]}"