Этот способ решения проблемы достигается с помощью расширения alternative-status-menu.
Если вы не установили расширение alternative-status-menu, введите следующие команды в терминале.
sudo add-apt-repository ppa:webupd8team/gnome3
sudo apt-get update
sudo apt-get install gnome-shell-extensions-alternative-status-menu
gedit update-menu-extension.patch
Вырезать следующее и вставить в редактор.
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);
Добавить пустую строку в (! d5)
cp /usr/share/gnome-shell/extensions/alternative-status-menu@gnome-shell-extensions.gnome.org/extension.js
patch -p1 < update-menu-extension.patch
sudo cp extension.js /usr/share/gnome-shell/extensions/alternative-status-menu@gnome-shell-extensions.gnome.org/.
Перезапустите gnome-shell и включите расширение alternative-status-menu с помощью gnome-tweak-tool.
Вышеуказанное Снимок экрана из японской версии. «ア ッ プ デ ー ト マ ネ ー ジ ャ ー» = «Менеджер обновлений». Не беспокойтесь, пункт меню («Менеджер обновлений») будет отображаться на английском языке.
Примечание. Если вы обновите alternative-status-menu, вы не сможете использовать меню «Обновление» в меню сеанса, потому что alternative-status-menu будет перезаписано.
sudo apt-get purge gnome-shell-extensions-alternative-status-menu
или
sudo apt-get install --reinstall gnome-shell-extensions-alternative-status-menu
В официальном реестре Git Eclipse плагин разработчики указывают: «Этот код плагина был удален из основного репозитория Randoop в октябре 2015 года, а Randoop больше не поддерживает связь с плагином».
Поскольку Eclipse плагин в настоящее время не поддерживается из Randoop, вы можете клонировать исходный код Randoop, создавать и импортировать в Eclipse, но я думаю, что это удобно использовать с CLI
В официальном реестре Git Eclipse плагин разработчики указывают: «Этот код плагина был удален из основного репозитория Randoop в октябре 2015 года, а Randoop больше не поддерживает связь с плагином».
Поскольку Eclipse плагин в настоящее время не поддерживается из Randoop, вы можете клонировать исходный код Randoop, создавать и импортировать в Eclipse, но я думаю, что это удобно использовать с CLI