Возможно ли переустройство поставщиков поиска на экране «Обзор действий в среде GNOME»?
Да и нет.
Обе программы не будут взаимодействовать, и, конечно же, на уровне операционной системы ответ будет звучать «нет»
Но ... [ ! d2]
Если вы вошли в Google Chrome с использованием той же учетной записи в обеих операционных системах, то ваши экземпляры Chrome будут делать такие полезные вещи, как синхронизация плагинов, закладок и некоторых настроек. Это все равно не должно приводить к тому, что ваш папа испытывает любую медлительность, но это означает, что есть кросс-платформенные эффекты.
4 ответа
11.10
Существует ключ, который упоминается в коде поиска gnome-shell, который позволяет указать, какие поисковые провайдеры не должны отображаться ...
Изменяя логику вы можете изменить, чтобы быть списком порядка поиска - например
gsettings set org.gnome.shell disabled-open-search-providers "['duckduckgo.xml', 'google.xml', 'wikipedia.xml']"
gsettings set org.gnome.shell disabled-open-search-providers "['wikipedia.xml', 'duckduckgo.xml', 'google.xml']"
how to
Сначала создайте резервную копию поискового скрипта:
sudo cp /usr/share/gnome-shell/js/ui/search.js /usr/share/gnome-shell/js/ui/search.js.backup
Теперь отредактируйте скрипт поиска:
gksudo gedit /usr/share/gnome-shell/js/ui/search.js
Ищите функцию, содержащую следующий код (он, вероятно, начинается в строке 325):
_refresh: function() {
this._providers = [];
let names = global.settings.get_strv(DISABLED_OPEN_SEARCH_PROVIDERS_KEY);
let file = Gio.file_new_for_path(global.datadir + '/search_providers');
FileUtils.listDirAsync(file, Lang.bind(this, function(files) {
for (let i = 0; i < files.length; i++) {
let enabled = true;
let name = files[i].get_name();
for (let k = 0; k < names.length; k++)
if (names[k] == name)
enabled = false;
if (enabled)
this._addProvider(name);
}
}));
}
Измените эту функцию:
_refresh: function() {
this._providers = [];
let names = global.settings.get_strv(DISABLED_OPEN_SEARCH_PROVIDERS_KEY);
let file = Gio.file_new_for_path(global.datadir + '/search_providers');
FileUtils.listDirAsync(file, Lang.bind(this, function(files) {
for (let i = 0; i < names.length; i++) {
for (let k = 0; k < files.length; k++)
if (names[i] == files[k].get_name())
this._addProvider(names[i])
}
}));
}
Нажмите Alt + F2, введите «r» и нажмите enter. Это должно перезапустить Gnome-shell).
credit
Связанные вопросы:
Можно ли настроить кнопки поисковой системы в оболочке GNOME ? Можно ли удалить или заменить поиск Google в тире «GNOME Shell»?Чтобы сохранить значение переменной gsettings, другой возможностью было бы изменить search.js, чтобы заказать файлы поставщиков поиска по имени:
FileUtils.listDirAsync(file, Lang.bind(this, function(files) {
files.sort (function (first, second) {
return first.get_name () <= second.get_name ()? -1: 1
});
Затем вы переименовали бы файлы в /usr/share/gnome-shell/search_providers, как
01_google.xml
02_wikipedia.xml
...
Carlo.
Я обнаружил, что он упорядочивает их во времени. Сначала был выбран поставщик поиска, который был добавлен последним. Поэтому, если вы хотите сначала перенести Google, просто переместите его где-нибудь, обновите (Alt + F2 и R), скопируйте его в папку и снова обновите.
Альтернативный метод: Gnome Shell, похоже, предпочитает, чтобы поисковый провайдер привязан к последнему отредактированному файлу .xml; для создания пользовательской компоновки достаточно будет открыть файлы, сохранить их и перезапустить оболочку. Если ваш желаемый заказ, например: Google, Википедия, DuckDuckGo - тогда DuckDuckGo должен быть тем, который вы сначала сохраните, а затем Wikipedia, а затем Google.