Saya ingin memiliki wildcard di konfigurasi SSH saya untuk menetapkan nama pengguna default saya ke nilai tertentu untuk semua host di domain tertentu. Tetapi saya juga ingin memiliki beberapa nama pendek untuk beberapa host tertentu. Saya berharap sesuatu seperti ini berfungsi:
Host *.mydomain.com
User myusername
Host host1
Hostname host1.mydomain.com
Dengan pengaturan itu, jika saya mengetiknya ssh host1.mydomain.com
akan dievaluasi myusername@host1.mydomain.com
, tetapi jika saya mengetiknya ssh host1
tidak berlaku pengaturan Pengguna saya dan saya melihat mylocalusername@host1.mydomain.com
.
Apakah ada cara agar wildcard cocok dengan nama host terakhir yang diperluas sehingga saya bisa mengetik formulir pendek atau panjang dan mendapatkan hasil yang sama?