Randoop на Ubuntu / Eclipse-oxygen

Этот способ решения проблемы достигается с помощью расширения 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
0
задан 19 April 2018 в 22:23

2 ответа

В официальном реестре Git Eclipse плагин разработчики указывают: «Этот код плагина был удален из основного репозитория Randoop в октябре 2015 года, а Randoop больше не поддерживает связь с плагином».

Поскольку Eclipse плагин в настоящее время не поддерживается из Randoop, вы можете клонировать исходный код Randoop, создавать и импортировать в Eclipse, но я думаю, что это удобно использовать с CLI

0
ответ дан 17 July 2018 в 20:50

В официальном реестре Git Eclipse плагин разработчики указывают: «Этот код плагина был удален из основного репозитория Randoop в октябре 2015 года, а Randoop больше не поддерживает связь с плагином».

Поскольку Eclipse плагин в настоящее время не поддерживается из Randoop, вы можете клонировать исходный код Randoop, создавать и импортировать в Eclipse, но я думаю, что это удобно использовать с CLI

0
ответ дан 23 July 2018 в 21:31

Другие вопросы по тегам:

Похожие вопросы: