#!/bin/bash -eu
host=pi.ucm.dev
if grep -q '^Host vpi$' ~/.ssh/config; then
	host=vpi
fi
if [ $# -gt 0 ]; then
	exec sshc "$host" "$@"
fi
exec ssh "$host"