Desktop Gnome sembra configurabile in vari modi: in " impostazioni di Gnome ", con gnome-extensions , gnome-tweak-tool
, gsettings
o dconf-editor
.
Tuttavia, a parte questa procedura per modificare lo sfondo della schermata di accesso , che comporta un po 'di compilazione glib, non ho trovato alcun modo per personalizzare l'aspetto di:
- la schermata di accesso (carattere, posizione, colore e dimensioni delle caselle di accesso)
- schermata di schermatura aka schermata di blocco aka tenda (carattere, posizione, colore, formato e dimensioni dell'orologio, messaggi visualizzati, ecc. )
Capisco che la filosofia di Gnome non è quella di allocare molta risorsa in cose ottimizzate, ottimizzate, ottimizzabili. Ma sono sorpreso che tali proprietà di base e innocue di questi schermi sembrino così difficili da accedere.
Esiste un modo per accedere e modificare le proprietà dell'organizzazione dello schermo di login / shield?
Sono hardcoded o è solo una questione di intrufolarsi in un piccolo curtain.xml
o loginscreen.json
?
Devo entrare nelle fonti e compilare lo gnomo da solo?
gdm3.css
file sul mio sistema (questo è Archlinux parlando). Il più vicino che ho trovato sono due file/usr/share/gnome-shell/theme/{gnome-classic.css,gnome-classic-high-contrast.css}
, che contengono le proprietà che suggerisci. Tuttavia, qualsiasi modifica apportata a questi file sembra non avere alcun effetto anche dopo il riavvio del computer: \ Posso chiederti dove hai trovato queste informazioni? Esiste una documentazione ufficiale su questi file?