Рейтинг:0

Любая альтернатива расширению gnome3 desktop-profile-manager?

флаг ss

Я ищу способ легко менять профили между тремя средами с разными настройками монитора, я регулярно подключаю свой ноутбук.

В настоящее время у меня есть 3 файла monitors.xml, которые я каждый раз переключаю через cli, но это расширение: https://extensions.gnome.org/extension/688/display-profile-manager/

выглядит идеально для моего варианта использования, но больше не поддерживается.

Какие-нибудь известные альтернативы?

Рейтинг:1
флаг cn

Не имея расширения, вы могли бы создать небольшой диалог самостоятельно, используя Zenity (установленный по умолчанию в Ubuntu), или используя Rofi или dmenu, в сценарии, который можно вызвать с помощью средства запуска приложений (Zenity, менее «естественный» для rofi/dmenu) или с помощью специальной клавиши быстрого доступа.

Ответить или комментировать

Большинство людей не понимают, что склонность к познанию нового открывает путь к обучению и улучшает межличностные связи. В исследованиях Элисон, например, хотя люди могли точно вспомнить, сколько вопросов было задано в их разговорах, они не чувствовали интуитивно связи между вопросами и симпатиями. В четырех исследованиях, в которых участники сами участвовали в разговорах или читали стенограммы чужих разговоров, люди, как правило, не осознавали, что задаваемый вопрос повлияет — или повлиял — на уровень дружбы между собеседниками.