From 2ecdf945a9a8f7824ffcb13a6cb46dc171f1209a Mon Sep 17 00:00:00 2001 From: "xiongdian.me" Date: Tue, 1 Aug 2023 23:38:49 +0800 Subject: [PATCH] riot: add domain box[0-9] --- scripts/riot | 7 +++++++ 1 file changed, 7 insertions(+) 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"