Esta maneira de resolver o problema é obtida usando a extensão alternative-status-menu
.
Instalar extensão
Se você não instalou a extensão alternative-status-menu
, digite os seguintes comandos no terminal.
sudo add-apt-repository ppa:webupd8team/gnome3
sudo apt-get update
sudo apt-get install gnome-shell-extensions-alternative-status-menu
Correção
gedit update-menu-extension.patch
Corte o seguinte e cole no editor.
diff -urNP org/extension.js new/extension.js
--- org/extension.js 2011-11-10 00:12:19.912240830 +0900
+++ new/extension.js 2011-11-10 00:10:14.779233789 +0900
@@ -2,6 +2,7 @@
const Lang = imports.lang;
const St = imports.gi.St;
+const Shell = imports.gi.Shell;
const Main = imports.ui.main;
const PopupMenu = imports.ui.popupMenu;
const GnomeSession = imports.misc.gnomeSession;
@@ -10,6 +11,13 @@
const Gettext = imports.gettext.domain('gnome-shell-extensions');
const _ = Gettext.gettext;
+function updateManager(item) {
+ Main.overview.hide();
+ let app = Shell.AppSystem.get_default().lookup_setting('update-manager.desktop');
+ app.activate();
+}
+
+
function updateSuspend(object, pspec, item) {
item.actor.visible = object.get_can_suspend();
}
@@ -57,6 +65,10 @@
item.connect('activate', Lang.bind(this, this._onPreferencesActivate));
this.menu.addMenuItem(item);
+ item = new PopupMenu.PopupMenuItem(_("Update Manager"));
+ item.connect('activate', Lang.bind(this, updateManager));
+ this.menu.addMenuItem(item);
+
item = new PopupMenu.PopupSeparatorMenuItem();
this.menu.addMenuItem(item);
Adicione uma linha em branco na última linha e salve.
cp /usr/share/gnome-shell/extensions/[email protected]/extension.js
patch -p1 < update-menu-extension.patch
sudo cp extension.js /usr/share/gnome-shell/extensions/[email protected]/.
Reinicie o gnome-shell e ative a extensão alternative-status-menu
em gnome-tweak-tool
.
A imagem acima é da versão japonesa. "ア ッ プ デ ー ト マ ネ ー ジ ャ ー"="Gerenciador de Atualizações". Não se preocupe, o item de menu ("Update Manager") será exibido em inglês.
Nota: Se você atualizar alternative-status-menu
, não poderá usar o menu "Gerenciador de Atualizações" nos menus da sessão porque alternative-status-menu
será sobrescrita.
Recuperação
sudo apt-get purge gnome-shell-extensions-alternative-status-menu
ou
sudo apt-get install --reinstall gnome-shell-extensions-alternative-status-menu