Puncte:0

Vreo alternativă la extensia gnome3 desktop-profile-manager?

drapel ss

Caut o modalitate de a schimba cu ușurință profilurile între trei medii cu configurații diferite de monitor, îmi conectez în mod regulat laptopul.

În prezent am 3 fișiere monitors.xml, pe care le schimb de fiecare dată prin cli, dar această extensie: https://extensions.gnome.org/extension/688/display-profile-manager/

arată perfect pentru cazul meu, dar nu mai este întreținut.

Ceva alternative cunoscute?

Puncte:1
drapel cn

În lipsa unei extensii, ai putea crea singur un mic dialog folosind Zenity (instalat implicit pe Ubuntu), sau folosind Rofi sau dmenu, într-un script care poate fi invocat folosind un lansator de aplicații (Zenity, mai puțin „natural” pentru rofi/dmenu) sau folosind o tastă de comandă rapidă personalizată.

Postează un răspuns

Majoritatea oamenilor nu înțeleg că a pune multe întrebări deblochează învățarea și îmbunătățește legătura interpersonală. În studiile lui Alison, de exemplu, deși oamenii își puteau aminti cu exactitate câte întrebări au fost puse în conversațiile lor, ei nu au intuit legătura dintre întrebări și apreciere. În patru studii, în care participanții au fost implicați în conversații ei înșiși sau au citit transcrieri ale conversațiilor altora, oamenii au avut tendința să nu realizeze că întrebarea ar influența – sau ar fi influențat – nivelul de prietenie dintre conversatori.