2017-05-12 IPアドレスで接続するのが面倒なのでホスト名を登録した． Shell # IPアドレスで接続するのが面倒なのでホスト名を登録した． $ sudo vi /private/etc/hosts ++ nn.nnn.nnn.nnn XXX.HOST.NAME
