Sinceramente anch'io ero orientato per il dhcp, ma se cso dice che quei valori sono funzionanti in un'altra configurazione...
Comunque, il comando, nel caso, è: dchpcd (lanciando poi ifconfig per avere conferma dall'output).