Eu tentei pesquisar na Internet extensivamente e também muitas sugestões diferentes, mas nenhuma delas funcionou. No entanto, eu tenho verificado por um dos amigos. Ele tentou muitas coisas por conta própria, mas não trabalhou inicialmente.
Mais tarde, ele tentou usar 24 para a máscara de rede (em vez da comum 255.255.255.0) na janela Configurações de rede e, em seguida, BINGO o botão Salvar foi ativado novamente e, depois, eu salvei as configurações. Agora o usual "255.255.255.0" também funciona bem.
Depois disso eu reiniciei o serviço usando o sudo service network-manager restart e agora tudo está funcionando bem !!!!
Obrigado Tim e todos