Ubuntuでsudo service networking restartが失敗します。/etc/network/interfacesを変更するたびに、いちいち再起動させていたのですが、我慢しきれなくなってグーグル先生に聞いたところ、解決方法がわかりました。
仮にネットワークのインターフェース名をeth0とすると、
sudo ifdown eth0 && ifup eth0
で再起動できるようです。
なお、cinnamonをインストールすると、network-managerがインストールされるので、これを起動時に実行しないように設定しておく必要がありました。
そのためには、/etc/initに、network-manager.overrideというテキストファイルを作り、manualの一語を書いておけば良いです。確認は、px ax | grep network-managerで、デーモンが起動していなければ、成功です。