Como atualizar as extensões do GNOME

Após algum tempo as extensões do GNOME podem se tornar desatualizadas. Você pode receber um aviso sobre isso informando para relogar para realizar a atualização, mas caso não receba o tal aviso, pode atualizar de forma manual assim como descrito nesta dica.

Acesse o seguinte endereço da página das extensões do GNOME:

• Installed Extensions - GNOME Shell Extensions

Perceberá que algumas extensões tem uma marcação indicando atualização disponível: Basta clicar no botão indicativo e reinstalar a extensão atualizada.

Obs.: infelizmente ao atualizar, ela será ligada automaticamente. Ne quiser deixá-las desligadas, precisa desligar após a atualização.