Desktop Gnome tampaknya dikonfigurasi dalam berbagai cara: di " pengaturan Gnome ", dengan gnome-ekstensi , gnome-tweak-tool, gsettingsatau dconf-editor.
Namun, terlepas dari prosedur ini untuk mengubah latar belakang layar masuk , yang melibatkan sedikit kompilasi glib, saya tidak menemukan cara untuk menyesuaikan tampilan:
- layar login (font, posisi, warna dan ukuran kotak login)
- layar pelindung alias layar kunci alias tirai (font, posisi, warna, format, dan ukuran jam, pesan yang ditampilkan, dll. )
Saya mengerti bahwa filosofi Gnome bukan untuk mengalokasikan banyak sumber daya dalam hal tweak-tweak-tweaking-tweakable. Tetapi saya terkejut bahwa sifat-sifat dasar dan tidak berbahaya dari layar ini tampak begitu sulit untuk diakses.
Apakah ada cara saya dapat mengakses dan mengubah properti organisasi layar masuk / perisai?
Apakah mereka hardcoded atau hanya masalah menyelinap ke kecil curtain.xmlatau loginscreen.json?
Apakah saya perlu masuk ke sumber dan mengkompilasi gnome sendiri?
gdm3.cssfile di sistem saya (ini adalah archlinux). Yang paling dekat yang saya temukan adalah dua file di/usr/share/gnome-shell/theme/{gnome-classic.css,gnome-classic-high-contrast.css}, yang memang berisi properti yang Anda sarankan. Namun, setiap perubahan yang saya buat pada file-file ini tampaknya tidak berpengaruh bahkan setelah saya me-restart komputer saya: \ Dapatkah saya bertanya di mana Anda menemukan informasi ini? Apakah ada dokumentasi resmi tentang file-file ini?