Usando o GNU sed
com grupos capturados:
sed -r 's_^(server\s+([^.]+.){3}[0-9]{1,3})/[0-9]+(.*)__' file.txt
Para editar o arquivo, use -i
option:
sed -ri 's_^(server\s+([^.]+.){3}[0-9]{1,3})/[0-9]+(.*)__' file.txt
Exemplo:
% sed -r 's_^(server\s+([^.]+.){3}[0-9]{1,3})/[0-9]+(.*)__' <<<'server 10.10.8.0/24 255.255.255.0'
server 10.10.8.0 255.255.255.0
% sed -r 's_^(server\s+([^.]+.){3}[0-9]{1,3})/[0-9]+(.*)__' <<<'server 198.196.178.0/8 255.0.0.0'
server 198.196.178.0 255.0.0.0