Как перенести часы в правый конец панели GNOME 3 с середины?

Я предполагаю, что вы пытаетесь очистить какой-то результат. В этом примере есть только три шара, и мы можем их извлечь, выполнив поиск Balls/<one-or-many-digits> и группировки (конструкцию \(..\)) вокруг числа, а затем заменив всю партию на эту группу (\1 является ссылкой на первая группа).

$ sed -n 's/.*Balls\/\([0-9]\+\).*/\1/gp' htmlfile | uniq | xargs -n7 echo
20 32 30

sed проходит эту линию за строкой. Я прошу его совместить и заменить все на линии (вот почему мы закрываем каждый конец .* - «любое количество чего-либо») с тем, что он соответствует в группе. [F8] и /p используются вместе, чтобы не печатать, если строка не была совпадением, а /g означает, что она будет продолжать совпадение до тех пор, пока она не попадет в конец файла.

Это довольно сложный пример, если вы новичок в регулярных выражениях.

Я передаю его через uniq, потому что там много дублирования.

И я использую [ f12] в конце сгруппировать 7 аргументов и передать их все на echo. Здесь нет 7 мячей, поэтому он показывает только 3.

Вероятно, это замедляет работу, но вы можете иметь немного более читаемое выражение, если вы используете расширенный синтаксис -r для sed:

sed -nr 's/.*Balls\/([0-9]+).*/\1/gp' htmlfile | ...

Делает то же самое, просто без некоторых запутывающих взглядов. Вероятно, когда-либо немного медленнее.

24
задан 19 May 2018 в 14:13

5 ответов

Вы можете использовать Extend Panel Menu, который находится по адресу https://extensions.gnome.org/extension/1201/extend-panel-menu/

7
ответ дан 22 May 2018 в 18:00

Вы можете использовать Extend Panel Menu, который находится по адресу https://extensions.gnome.org/extension/1201/extend-panel-menu/

7
ответ дан 18 July 2018 в 06:01

Вот как я это сделал (на Ubuntu 18.04 LTS):

Запустите «Ubuntu Software», который построен в Ubuntu 18.04. Установите расширение оболочки «Dash to Panel» из «Дополнений» -> «Расширения оболочки». Прокрутите страницу вниз, чтобы найти расширение «Dash to Panel» и установить его. Нажмите «Настройки внутренних линий», найдите в меню кнопку «Даш на панель». Откройте настройки конфигурации «Dash to Panel» и найдите вкладку «Позиция и стиль». На этой вкладке вы найдете конфигурацию «Расположение часов». Измените это на «Right of status menu».

Это сработает. Однако побочный эффект (желаемый эффект в моем случае) заключается в том, что «верхняя панель» и «док-станция Ubuntu» по умолчанию объединяются, чтобы сформировать единую панель, как в ОС Windows.

2
ответ дан 18 July 2018 в 06:01

Вы можете использовать Extend Panel Menu, который находится по адресу https://extensions.gnome.org/extension/1201/extend-panel-menu/

7
ответ дан 24 July 2018 в 18:30

Вот как я это сделал (на Ubuntu 18.04 LTS):

Запустите «Ubuntu Software», который построен в Ubuntu 18.04. Установите расширение оболочки «Dash to Panel» из «Дополнений» -> «Расширения оболочки». Прокрутите страницу вниз, чтобы найти расширение «Dash to Panel» и установить его. Нажмите «Настройки внутренних линий», найдите в меню кнопку «Даш на панель». Откройте настройки конфигурации «Dash to Panel» и найдите вкладку «Позиция и стиль». На этой вкладке вы найдете конфигурацию «Расположение часов». Измените это на «Right of status menu».

Это сработает. Однако побочный эффект (желаемый эффект в моем случае) заключается в том, что «верхняя панель» и «док-станция Ubuntu» по умолчанию объединяются, чтобы сформировать единую панель, как в ОС Windows.

2
ответ дан 24 July 2018 в 18:30

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

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