A interface padrão para configuração de redes no Gnome 3 possui um bug que não permite alterar as configurações das redes wireless automáticas, pois o botão Opções fica desabilitado.
Como alternativa podemos usar o configurador legado, o mesmo utilizado na versão anterior do Gnome.
Execute na console: