diff --git a/scripts/riot b/scripts/riot index 9bf3816..1d3e36e 100755 --- a/scripts/riot +++ b/scripts/riot @@ -70,6 +70,13 @@ get_server_meta() { RET_USERNAME=root RET_TRUST_SERVER=1 ;; + box[0-9] ) + RET_HOSTNAME=$host + RET_PORT=${RET_PORT:-12022} + RET_USERNAME=${RET_USERNAME:-root} + RET_JUMP_SERVER="root@$domain.ibd.ink:12022" + RET_TRUST_SERVER=1 + ;; * ) test -z "$domain" || fmt_warning "unknown domain: \"$domain\". will try as host name" RET_HOSTNAME="$remote"