diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-02-10 23:11:20 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-02-10 23:25:01 +0100 |
| commit | a76d0f032b6d4148bd36dcb640109fae20922bbc (patch) | |
| tree | fe73992af0553d0b0fabb972e48e6fab6b9d7068 /gnu/services | |
| parent | 5e6a5aeebd7b735e5d5f2eed496cc1c7e8a5b4c9 (diff) | |
gnu: gnome-shell: Customize the GDM log-in screen.
* gnu/packages/patches/gnome-shell-theme.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/gnome.scm (gnome-shell)[source](patches, modules)
(snippet): New fields.
[arguments]: Add 'rebuild-css' phase.
[native-inputs]: Add RUBY-SASS.
Diffstat (limited to 'gnu/services')
0 files changed, 0 insertions, 0 deletions