From dbba66ccd0f75cc4d7d3545d8d07665b17f1cbfc Mon Sep 17 00:00:00 2001
From: "xiongdian.me" <xiongdian.me@bytedance.com>
Date: Tue, 1 Aug 2023 23:51:29 +0800
Subject: [PATCH] riot: shortcuts i,x,j

---
 scripts/riot | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/scripts/riot b/scripts/riot
index 1d3e36e..4137fa8 100755
--- a/scripts/riot
+++ b/scripts/riot
@@ -29,6 +29,14 @@ get_server_meta() {
     RET_JUMP_SERVER=""  # optional
     # body
     local remote="$1"
+    # shortcuts
+    if [[ "$remote" == "i" ]]; then
+        remote="sir0.ibd"
+    elif [[ "$remote" == "x" ]]; then
+        remote="bj1.ibd"
+    elif [[ "$remote" == "j" ]]; then
+        remote="sir0.ibd:36122"
+    fi
     # if in the form user@...
     if [[ "$remote" == *@* ]]; then
         RET_USERNAME=${remote%%@*}