sshの設定でローカルIPとグローバルIPは当然違うが、ユーザから見てHostは同じなので意識せずにアクセスできる設定を書きたい。

その時にHostをinternal, externalとかで分けるのはスマートじゃないのと、それくらいは機械がやってくれよっと思うので調べた。