Debian Stretchのマシンを固定IPで運用しようと思い，調べたら/etc/network/interfacesを編集すれば良いとあったので，やってみたけどダメ．どうもNetworkManagerと競合するみたい．NetworkManagerを切れば良いのだろうけど，面倒だったのでGUIで設定した．設定のネットワーク接続にDHCPと固定IPを選ぶメニューがある．そこで指定して再起動すればOK．不思議なのはDHCPのときはDebianのマシンにpingが通ったけど，固定IPにしたら通らなくなった．sshとかhttpのパケットは通るので，pingが通らなくても問題ないけど理由は謎のまま．