aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2021-06-23 02:15:25 +0200
committerTobias Geerinckx-Rice <me@tobias.gr>2021-06-23 02:51:29 +0200
commit192d74719ace67c08da1e1c682521b52ac6b0725 (patch)
treec094b9e2131d2680802aed4e904f69d52f67564c /gnu/packages/lean.scm
parenta437bd9180d1af0f84229d4ae3e9cd0ab93d9fa0 (diff)
downloadguix-192d74719ace67c08da1e1c682521b52ac6b0725.tar.gz
guix-192d74719ace67c08da1e1c682521b52ac6b0725.zip
gnu: cups: Fetch source directly from the Git repository.
* gnu/packages/cups.scm (cups)[source]: Use GIT-FETCH and GIT-FILE-NAME.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions
r> 2022-01-17services: pam-mount: Add support for sddm login manager....I noticed that pam_mount mounts work fine when loging into a textual session, but not when using sddm. This patch fixes this problem by ensuring that pam_mount.so is included in /etc/pam.d/sddm config file. * gnu/services/pam-mount.scm (pam-mount-pam-service): Add sddm to the list of pam services. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net> Nick Zalutskiy