In ubuntu 18.04, I found that there is one more requirement for the /etc/network/interfaces configuration to work.
I got information that I could fix it by adding the ifupdown setting to the /etc/NetworkManager/NetworkManager.conf file, but it did not work.
I could manually apply a static ip through the ifdown and ifup commands, but at boot time it only worked with dhcp, so I could not avoid big and small collisions.
Can I get accurate information about these recent changes?