Поширений спосіб:
Для початку ви повинні знайти відповідний файл розширення, яке ви хочете змінити.
Зазвичай ви можете знайти його тут: ~/.local/share/gnome-shell/extensions.
Якщо розширення було встановлено через менеджер пакунків, його можна знайти тут: /usr/share/gnome-shell/extensions/(Спасибі AB )
Потім перейдіть у каталог розширення та відкрийте " extension.js" будь-який текстовий редактор.
Перейдіть до рядка з: function enable()(використовуйте функцію пошуку у своєму редакторі - якщо ви не можете її знайти, перейдіть до розділу Оновлення далі вниз).
Всередині цієї функції зазвичай знаходиться рядок Main.panel.addToStatusArea('NAME', _OTHERNAME, NUMBER, LEFT/CENTER/RIGHT);(Знову: Якщо ви не можете її знайти, перейдіть до оновлення ). Може статися, що останні два параметри ( NUMBERі POSITION) відсутні; виглядає приблизно так: Main.panel.addToStatusArea('NAME', _OTHERNAME);
(Не хвилюйтеся! Ваш комп'ютер інтерпретує більш коротку версію за допомогою: ('NAME', _OTHERNAME, 0, right);Сміливо додайте відсутні параметри. Але завжди в наведеному порядку !!! )
В POSITIONвизначає , де на панелі значок повинен бути. Є три області: ліва , центральна та права . Напевно, ви не хочете змінювати це значення, але не соромтеся робити це. Ось три можливі стани для POSITIONна панелі:
------------------------------------------------------------------
Activities Date Other icons
------------------------------------------------------------------
left center right
Більш важливе значення, яке ви, мабуть, хочете змінити, - це NUMBER. Він визначає порядок значків всередині підпанелей. Можливі значення:
0 : Мені все одно, де знаходиться значок.
негативні значення : позиція; починаючи з правого боку (може бути важливо, оскільки всі піктограми розширень завантажуються після значків системи)
позитивні значення : позиція; починаючи з лівого боку. Більш високі значення будуть розташовані далі праворуч.
Вам потрібно пограти з цими значеннями у всіх розширеннях, оскільки однакові значення конфліктують між собою (два різних розширення на позиції 2 не мають сенсу). І часом навіть наступні цінності конфліктують.
Кожен раз, коли ви змінюєте значення, обов'язково збережіть файл. Потім натисніть Alt+ F2, введіть rі Enter. Панель оновиться новими замовленими значками. Це швидкий варіант пограти з цими значеннями.
Нарешті, цитата з Математичної кави :
Використовуйте Main.panel.addToStatusArea (унікальний_ ім'я_файла, індідикатор, позиція, вікно), щоб додати на панель SystemStatusButton або PanelButton. Це обробляє додавання свого меню до менеджера меню для вас (поле - головна панель. Якщо ваша кнопка лише ButtonBox (тобто меню немає), тоді дотримуйтесь. _ {ліворуч, праворуч, центр} Box.insert_child_at_index.
Будь ласка, повідомте мені, чи були у вас проблеми з таким підходом.
Оновлення:
Я оглянувся і зрозумів, що цей спосіб працює не для всіх розширень (переважно лише для простих / нових розширень). У цьому випадку поширене розширення - "монітор системи". Спосіб зміни положення піктограм повинен бути (як правило) однаковим (я його не перевіряв. Тому обов'язково створіть файл резервної копії) . Але для "монітора системи" є деякі відмінності:
- Функція, яку потрібно шукати, називається
var enable = function (). Тому може бути краще шукати слово enableу файлі.
Місце, де визначено положення піктограм, називається Main.panel._addToPanelBox('system-monitor', tray, 1, panel);. Зміна числа повинна мати той самий ефект, що описаний вище. Для зміни всієї області у вас є два варіанти:
Змінивши цей самий рядок на Main.panel._addToPanelBox('system-monitor', tray, 1, Main.panel._rightBox);(Примітка: положення в меню налаштувань розширення більше не працюватиме).
Або змінивши рядок let panel = Main.panel._rightBox;(знову скористайтеся функцією пошуку) на потрібне положення ( _leftBox, _centerBox, _rightBox ).
(Ці кроки можна застосувати до будь-якого іншого розширення. Але імена будуть дещо інші. Але все-таки: загальний спосіб був описаний у моїй спробі на цей відповідь)
Вся процедура у двох словах:
Знайдіть відповідний файл. Потім знайдіть enableвсередині цього файлу. Потім шукайте що-небудь подібне Main.panel...і змінюйте значення (цілком самоосмислюючись).
І нарешті я помітив, що ви згадали панель часу. Я не знайшов хорошого способу змінити свою позицію, але ось щось інше:
У вас встановлений "монітор системи". Це добре :)
Відкрийте extension.jsслово відповідно і замініть слово "вправо" на "вліво" в цих двох рядках:
Main.panel._addToPanelBox('dateMenu', dateMenu, -1, Main.panel._rightBox);і Main.panel._rightBox.insert_child_at_index(dateMenu.actor, -1);.
Нарешті, ви повинні перевірити "перемістити годинник" у налаштуваннях цього розширення. Ось так! Я не перевіряв його, але він повинен працювати. Якщо ні, напишіть коментар :)
А-а! Забув згадати: Щоразу, коли ви змінюєте значення, зберігайте файл і оновлюйте панель натисканням Alt+ F2- тип . І обов’язково створіть резервні файли !!! rEnter: D
