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) | |
download | gnu-guix-a76d0f032b6d4148bd36dcb640109fae20922bbc.tar gnu-guix-a76d0f032b6d4148bd36dcb640109fae20922bbc.tar.gz |
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