Aggiungo, a ulteriore precisazione nel caso ce ne fosse bisogno, che dopo il reboot richiesto dal punto 2
2. modificare /etc/default/grub per evitare che eth0 diventi altra cosa
va
evidentemente controllato che l'interfaccia di rete abbia assunto il
nome eth0 (o comunque eth_numero nel caso di macchine con più schede di
rete)
Se qualcuno conosce un modo diverso per risolvere la ridenominazione della scheda di rete ce lo dica. Grazie in anticipo.
L'alternativa,
per assicurare la compatibilità con il nuovo standard è intervenire sul
codice di isi, se e là dove necessario, per fa si che la modifica a
ubuntu non sia necessaria.
Al momento non prendo in considerazione la
cosa.