为ssh连接创建别名
我想加快连接到特定服务器的速度。 我有说的服务器: 123.123.123.1 123.123.123.2 123.123.123.3 我通常连接以下内容: ssh -p 12345 my_user@123.123.123.1 这很痛苦,因为服务器之间的唯一区别是ip的最后一个数字。 我尝试了以下代码: alias ssht='{ ip=$(cat -); ssh -p 12345 my_user@"123.123.123.$ip"; }<<<' 但是我得到一个错误: karl@karls-laptop ~/scripts $ ssht 1 Pseudo-terminal will not be allocated because stdin is not a terminal. 有没有办法让这个工作?