ทำให้ชื่อโฮสต์ ssh ง่ายขึ้นด้วย wildcard

ฉันมีเซิร์ฟเวอร์จำนวนมากที่มีชื่อลงท้ายด้วย 001, 002, 003 และฉันต้องการเปลี่ยนชื่อเป็นสิ่งที่เรียบง่ายกว่า บางสิ่งเช่นนี้

Host server*
User user
HostName server-xxx-yyy-zzz-*

Host client*
User user
HostName client-xxx-yyy-zzz-*

จากนั้นssh server001จะถูกประหารชีวิตเช่นเดียวกับssh server-xxx-yyy-zzz-001

มีวิธีใดที่จะทำเช่นนี้กับ ssh-config เท่านั้น? ฉันจะทำการซ้อมรบใน / etc / hosts ได้อย่างไร หรือฉันต้องสร้างสคริปต์เพื่อสร้างการกำหนดค่าสำหรับแต่ละโฮสต์?

ฉันมีปัญหาเดียวกันและฉันใส่ชื่อใหม่/etc/hostsเพราะฉันต้องการพวกเขาด้วย:

• เป็นpingเป้าหมาย
• ใน URL เบราว์เซอร์ (คอนโซลผู้ดูแลระบบหรือเซิร์ฟเวอร์ทดสอบ)
• ในการเชื่อมต่อฐานข้อมูล
• ใน URL Git

เมื่อคุณทำเสร็จแล้วคุณจะต้องมีเพียงหนึ่งรายการทั่วไปใน~/.ssh/config:

Host client* server*
    User username
    IdentityFile ~/.ssh/id_rsa # if the same everywhere

แน่นอน SSH จะรบกวนคุณหนึ่งครั้งสำหรับชื่อใหม่แต่ละชื่อเพื่อเพิ่มโฮสต์คีย์ใน known_hosts