「 Ubuntu 」一覧

Ubuntuのリポジトリのサーバを変更するには、sources.list 内のURLを全て書き換えなければなりません。手動でなんかやってられないのでsedで置換してみました。

Ubuntu17ではネットワークの設定方法が変わったことを知りました。今更ですね。/etc/network/interfacesではなくnetplanとかいうので設定するようです。