summaryrefslogtreecommitdiff
path: root/gnu/packages/patches/gnome-shell-theme.patch
AgeCommit message (Expand)Author
2019-02-10gnu: 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. Ludovic Courtès