Eu encontrei o problema. Meu sistema está utilizando o ConnMan para gerenciar a conexão ethernet, portanto, as alterações feitas em /etc/network/interfaces
estavam sendo ignoradas. Para configurar a interface, primeiro tive que encontrar o endereço MAC da interface, digitando connmanctl services
. Eu usei este comando para configurar a interface:
connmanctl config ethernet_<mac_address>_cable --ipv4 manual <ip_address> <netmask> <gateway> --nameservers <ip_address>
Então, no meu caso, ficou assim:
connmanctl config ethernet_ec24b8f6d60b_cable --ipv4 manual 192.168.4.123 255.255.255.0 192.168.4.1 --nameservers 8.8.8.8
Isso parece estar persistindo através de reinicializações e mantendo o IP.