1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
| | ;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2013-2017, 2019-2021 Ludovic Courtès <ludo@gnu.org>
;;; Copyright © 2023 Josselin Poiret <dev@jpoiret.xyz>
;;;
;;; This file is part of GNU Guix.
;;;
;;; GNU Guix is free software; you can redistribute it and/or modify it
;;; under the terms of the GNU General Public License as published by
;;; the Free Software Foundation; either version 3 of the License, or (at
;;; your option) any later version.
;;;
;;; GNU Guix is distributed in the hope that it will be useful, but
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
;;; GNU General Public License for more details.
;;;
;;; You should have received a copy of the GNU General Public License
;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
(define-module (gnu system pam)
#:use-module (guix records)
#:use-module (guix derivations)
#:use-module (guix diagnostics)
#:use-module (guix gexp)
#:use-module (guix i18n)
#:use-module (gnu services)
#:use-module (gnu services shepherd)
#:use-module (gnu system setuid)
#:use-module (ice-9 match)
#:use-module (srfi srfi-1)
#:use-module (srfi srfi-9)
#:use-module (srfi srfi-11)
#:use-module (srfi srfi-26)
#:use-module ((guix utils) #:select (%current-system))
#:use-module (gnu packages guile)
#:use-module (gnu packages linux)
#:use-module (gnu packages mes)
#:export (pam-service
pam-service-name
pam-service-account
pam-service-auth
pam-service-password
pam-service-session
pam-entry
pam-entry-control
pam-entry-module
pam-entry-arguments
pam-entry-guile-inputs
pam-entry-foreign-library-path
pam-limits-entry
pam-limits-entry-domain
pam-limits-entry-type
pam-limits-entry-item
pam-limits-entry-value
pam-limits-entry->string
pam-services->directory
unix-pam-service
base-pam-services
session-environment-service
session-environment-service-type
pam-extension
pam-extension-transformer
pam-extension-shepherd-requirements
pam-root-service-type
pam-root-service))
;;; Commentary:
;;;
;;; Configuration of the pluggable authentication modules (PAM).
;;;
;;; Code:
;; PAM services (see
;; <http://www.linux-pam.org/Linux-PAM-html/sag-configuration-file.html>.)
(define-record-type* <pam-service> pam-service
make-pam-service
pam-service?
(name pam-service-name) ; string
;; The four "management groups".
(account pam-service-account ; list of <pam-entry>
(default '()))
(auth pam-service-auth
(default '()))
(password pam-service-password
(default '()))
(session pam-service-session
(default '())))
(define-record-type* <pam-entry> pam-entry
make-pam-entry
pam-entry?
(control pam-entry-control) ; string, symbol or g-expression
(module pam-entry-module) ; file name
(arguments pam-entry-arguments ; list of string-valued g-expressions
(default '()))
(guile-inputs pam-entry-guile-inputs ; list of package variables
(default '()))
(foreign-library-path pam-entry-foreign-library-path ; list of file-like folders
;; courtesy for historical usage
(default (list
(file-append linux-pam "/lib/security")))))
;; PAM limits entries are used by the pam_limits PAM module to set or override
;; limits on system resources for user sessions. The format is specified
;; here: http://linux-pam.org/Linux-PAM-html/sag-pam_limits.html
(define-record-type <pam-limits-entry>
(make-pam-limits-entry domain type item value)
pam-limits-entry?
(domain pam-limits-entry-domain) ; string
(type pam-limits-entry-type) ; symbol
(item pam-limits-entry-item) ; symbol
(value pam-limits-entry-value)) ; symbol or number
(define (pam-limits-entry domain type item value)
"Construct a pam-limits-entry ensuring that the provided values are valid."
(define (valid? value)
(case item
((priority) (number? value))
((nice) (and (number? value)
(>= value -20)
(<= value 19)))
(else (or (and (number? value)
(>= value -1))
(member value '(unlimited infinity))))))
(define items
(list 'core 'data 'fsize
'memlock 'nofile 'rss
'stack 'cpu 'nproc
'as 'maxlogins 'maxsyslogins
'priority 'locks 'sigpending
'msgqueue 'nice 'rtprio))
(when (not (member type '(hard soft both)))
(error "invalid limit type" type))
(when (not (member item items))
(error "invalid limit item" item))
(when (not (valid? value))
(error "invalid limit value" value))
(make-pam-limits-entry domain type item value))
(define (pam-limits-entry->string entry)
"Convert a pam-limits-entry record to a string."
(match entry
(($ <pam-limits-entry> domain type item value)
(string-join (list domain
(if (eq? type 'both)
"-"
(symbol->string type))
(symbol->string item)
(cond
((symbol? value)
(symbol->string value))
(else
(number->string value))))
" "))))
(define (pam-service->configuration service shared-object environment-file pamda-file)
"Return the derivation building the configuration file for SERVICE, to be
dumped in /etc/pam.d/NAME, where NAME is the name of SERVICE."
(mixed-text-file (pam-service-name service)
"account required " shared-object " " environment-file " " pamda-file "\n"
"auth required " shared-object " " environment-file " " pamda-file "\n"
"password required " shared-object " " environment-file " " pamda-file "\n"
"session required " shared-object " " environment-file " " pamda-file "\n"))
(define (intersperse a xs)
(if (null? xs)
'()
[cons (car xs)
(if (null? (cdr xs))
(cdr xs)
(cons a (intersperse a (cdr xs))))]))
(define* (make-environment-file guile-inputs
foreign-library-path
#:key
(auto-compile? #f)
(guix-locale-path '("/run/current-system/locale"))
(install-locale? #f)
(jit-log-level 0)
(jit-pause-when-stopping? #f)
(jit-stop-after -1)
(jit-threshold 1000)
(locale "C.utf8")
(warn-deprecated "yes"))
(let* ((load-path (map (lambda (package)
(file-append package "/share/guile/site/3.0"))
guile-inputs))
(load-compiled-path (map (lambda (package)
(file-append package "/lib/guile/3.0/site-ccache"))
guile-inputs))
(lines `(("LANG=" ,locale)
;; note on LOCPATH from the Glibc manual:
;; The value of ‘LOCPATH’ is ignored by privileged programs for security
;; reasons, and only the default directory is used.
("GUIX_LOCPATH=" ,@(intersperse ":" guix-locale-path))
("GUILE_AUTO_COMPILE=" ,(if auto-compile? "1" "0"))
("GUILE_INSTALL_LOCALE=" ,(if install-locale? "1" "0"))
("GUILE_LOAD_PATH=" ,@(intersperse ":" load-path))
("GUILE_LOAD_COMPILED_PATH=" ,@(intersperse ":" load-compiled-path))
("GUILE_EXTENSIONS_PATH=" ,@(intersperse ":" foreign-library-path))
("GUILE_WARN_DEPRECATED=" ,warn-deprecated)
("GUILE_JIT_LOG=" ,(number->string jit-log-level))
("GUILE_JIT_PAUSE_WHEN_STOPPING=" ,(if jit-pause-when-stopping? "1" "0"))
("GUILE_JIT_STOP_AFTER=" ,(number->string jit-stop-after))
("GUILE_JIT_THRESHOLD=" ,(number->string jit-threshold))))
(terminated (map (lambda (line)
(append line '("\0")))
lines))
(flattened (fold (lambda (right left)
(append left right))
'()
terminated)))
(apply mixed-text-file "guile-pam-environment" flattened)))
(define (pam-services->directory shared-object
guile-inputs
foreign-library-path
folder
services)
"Return the derivation to build the configuration directory to be used as
/etc/pam.d for SERVICES."
(let* ((names (map pam-service-name services))
(environment-file (make-environment-file guile-inputs
foreign-library-path))
(pamda-file (make-pam-stack folder services))
(files (map (cut pam-service->configuration <>
shared-object environment-file pamda-file)
services)))
(define builder
#~(begin
(use-modules (ice-9 match)
(srfi srfi-1))
(mkdir #$output)
(for-each (match-lambda
((name file)
(symlink file (string-append #$output "/" name))))
;; Since <pam-service> objects cannot be compared with
;; 'equal?' since they contain gexps, which contain
;; closures, use 'delete-duplicates' on the build-side
;; instead. See <http://bugs.gnu.org/20037>.
(delete-duplicates '#$(zip names files)))))
(computed-file folder builder)))
(define %pam-other-services
;; The "other" PAM configuration, which denies everything (see
;; <http://www.linux-pam.org/Linux-PAM-html/sag-configuration-example.html>.)
(let ((deny (pam-entry
(control "required")
(module "pam_deny.so")
(foreign-library-path
(list
(file-append linux-pam "/lib/security"))))))
(pam-service
(name "other")
(account (list deny))
(auth (list deny))
(password (list deny))
(session (list deny)))))
(define unix-pam-service
(let ((unix (pam-entry
(control "required")
(module "pam_unix.so")
(foreign-library-path
(list
(file-append linux-pam "/lib/security")))))
(env (pam-entry ; to honor /etc/environment.
(control "required")
(module "pam_env.so")
(foreign-library-path
(list
(file-append linux-pam "/lib/security"))))))
(lambda* (name #:key allow-empty-passwords? allow-root? motd
login-uid? gnupg?)
"Return a standard Unix-style PAM service for NAME. When
ALLOW-EMPTY-PASSWORDS? is true, allow empty passwords. When ALLOW-ROOT? is
true, allow root to run the command without authentication. When MOTD is
true, it should be a file-like object used as the message-of-the-day.
When LOGIN-UID? is true, require the 'pam_loginuid' module; that module sets
/proc/self/loginuid, which the libc 'getlogin' function relies on. When
GNUPG? is true, require the 'pam_gnupg.so' module; that module hands over
the login password to 'gpg-agent'."
;; See <http://www.linux-pam.org/Linux-PAM-html/sag-configuration-example.html>.
(pam-service
(name name)
(account (list unix))
(auth (append (if allow-root?
(list (pam-entry
(control "sufficient")
(module "pam_rootok.so")
(foreign-library-path
(list
(file-append linux-pam "/lib/security")))))
'())
(list (if allow-empty-passwords?
(pam-entry
(control "required")
(module "pam_unix.so")
(arguments '("nullok"))
(foreign-library-path
(list
(file-append linux-pam "/lib/security"))))
unix))
(if gnupg?
(list (pam-entry
(control "required")
(module "pam_gnupg.so")
(foreign-library-path
(list
(file-append pam-gnupg "/lib/security")))))
'())))
(password (list (pam-entry
(control "required")
(module "pam_unix.so")
;; Store SHA-512 encrypted passwords in /etc/shadow.
(arguments '("sha512" "shadow"))
(foreign-library-path
(list
(file-append linux-pam "/lib/security"))))))
(session `(,@(if motd
(list (pam-entry
(control "optional")
(module "pam_motd.so")
(arguments
(list #~(string-append "motd=" #$motd)))
(foreign-library-path
(list
(file-append linux-pam "/lib/security")))))
'())
,@(if login-uid?
(list (pam-entry ;to fill in /proc/self/loginuid
(control "required")
(module "pam_loginuid.so")
(foreign-library-path
(list
(file-append linux-pam "/lib/security")))))
'())
,@(if gnupg?
(list (pam-entry
(control "required")
(module "pam_gnupg.so")
(foreign-library-path
(list
(file-append pam-gnupg "/lib/security")))))
'())
,env ,unix))))))
(define (rootok-pam-service command)
"Return a PAM service for COMMAND such that 'root' does not need to
authenticate to run COMMAND."
(let ((unix (pam-entry
(control "required")
(module "pam_unix.so")
(foreign-library-path
(list
(file-append linux-pam "/lib/security"))))))
(pam-service
(name command)
(account (list unix))
(auth (list (pam-entry
(control "sufficient")
(module "pam_rootok.so")
(foreign-library-path
(list
(file-append linux-pam "/lib/security"))))))
(password (list unix))
(session (list unix)))))
(define* (base-pam-services #:key allow-empty-passwords?)
"Return the list of basic PAM services everyone would want."
;; TODO: Add other Shadow programs?
(append (list %pam-other-services)
;; These programs are setuid-root.
(map (cut unix-pam-service <>
#:allow-empty-passwords? allow-empty-passwords?)
'("passwd" "chfn" "sudo"))
;; This is setuid-root, as well. Allow root to run "su" without
;; authenticating.
(list (unix-pam-service "su"
#:allow-empty-passwords? allow-empty-passwords?
#:allow-root? #t))
;; These programs are not setuid-root, and we want root to be able
;; to run them without having to authenticate (notably because
;; 'useradd' and 'groupadd' are run during system activation.)
(map rootok-pam-service
'("useradd" "userdel" "usermod"
"groupadd" "groupdel" "groupmod"))))
\f
;;;
;;; System-wide environment variables.
;;;
(define (environment-variables->environment-file vars)
"Return a file for pam_env(8) that contains environment variables VARS."
(apply mixed-text-file "environment"
(append-map (match-lambda
((key . value)
(list key "=" value "\n")))
vars)))
(define session-environment-service-type
(service-type
(name 'session-environment)
(extensions
(list (service-extension
etc-service-type
(lambda (vars)
(list `("environment"
,(environment-variables->environment-file vars)))))))
(compose concatenate)
(extend append)
(description
"Populate @file{/etc/environment}, which is honored by @code{pam_env},
with the specified environment variables. The value of this service is a list
of name/value pairs for environments variables, such as:
@example
'((\"TZ\" . \"Canada/Pacific\"))
@end example\n")))
(define (session-environment-service vars)
"Return a service that builds the @file{/etc/environment}, which can be read
by PAM-aware applications to set environment variables for sessions.
VARS should be an association list in which both the keys and the values are
strings or string-valued gexps."
(service session-environment-service-type vars))
\f
;;;
;;; PAM root service.
;;;
;; Extension of the PAM configuration. A PAM transformer consists of a
;; procedure acting on each PAM entry; 'shepherd-requirements' lists services
;; that the meta 'pam' Shepherd service will depend on.
(define-record-type* <pam-extension>
pam-extension make-pam-extension pam-extension?
(transformer pam-extension-transformer)
(shepherd-requirements pam-extension-shepherd-requirements
(default '())))
;; Overall PAM configuration: a list of services, plus a procedure that takes
;; one <pam-service> and returns a <pam-service>. The procedure is used to
;; implement cross-cutting concerns such as the use of the 'elogind.so'
;; session module that keeps track of logged-in users.
(define-record-type* <pam-configuration>
pam-configuration make-pam-configuration pam-configuration?
;list of <pam-service>
(services pam-configuration-services)
;list of procedures <pam-entry> -> <pam-entry>
(transformers pam-configuration-transformers)
;; file-like shared module
(shared-object pam-configuration-shared-object)
;; list of package variables
(guile-inputs pam-configuration-guile-inputs)
;; list of file-like folders
(foreign-library-path pam-configuration-foreign-library-path)
;list of symbols
(shepherd-requirements pam-configuration-shepherd-requirements))
(define (make-pam-stack folder services)
(define* (entry->gate entry
#:key
only-actions
only-services)
(match entry
(($ <pam-entry> control module (options ...))
;; adapted from (pam legacy configuration)
(cond
((string=? "include" control)
(error "PAM include not implemented; send list of <pam-entry> instead"
control module options entry))
((string=? "substack" control)
;; this probably differs a little bit from Linux-PAM
#~(gate required (stack-pamda
(configuration-file->gates #$folder #$module
#:only-actions '#$only-actions
#:only-services '#$only-services))
#:only-actions '#$only-actions
#:only-services '#$only-services))
(else
#~(gate (legacy-plan->modern-plan #$control)
(legacy-or-modern-pamda #$module)
#:options (list #$@options)
#:only-actions '#$only-actions
#:only-services '#$only-services))))))
(define (service->gates service)
(match service
(($ <pam-service> name account auth password session)
(append (map (cut entry->gate <>
#:only-actions '(pam_sm_acct_mgmt)
#:only-services (list name))
account)
(map (cut entry->gate <>
#:only-actions '(pam_sm_authenticate
pam_sm_setcred)
#:only-services (list name))
auth)
(map (cut entry->gate <>
#:only-actions '(pam_sm_chauthtok)
#:only-services (list name))
password)
(map (cut entry->gate <>
#:only-actions '(pam_sm_open_session
pam_sm_close_session)
#:only-services (list name))
session)))))
(let* ((gates (append-map service->gates services)))
(scheme-file
"guile-pam-stack.scm"
#~(begin
(use-modules (pam stack)
(pam legacy configuration)
(pam legacy module)
(pam legacy stack))
(stack-pamda (list #$@gates))))))
(define (/etc-entry config)
"Return the /etc/pam.d entry corresponding to CONFIG."
(define (service->pam-entries service)
(match service
(($ <pam-service> name account auth password session)
(append account auth password session))))
(match config
(($ <pam-configuration> services
transformers
shared-object
guile-inputs
foreign-library-path
shepherd-requirements)
(let* ((services (map (apply compose identity transformers)
services))
(all-entries (append-map service->pam-entries
services))
(combined-inputs (delete-duplicates
(append guile-inputs
(append-map pam-entry-guile-inputs
all-entries))))
(combined-library-path (delete-duplicates
(append foreign-library-path
(append-map pam-entry-foreign-library-path
all-entries)))))
`(("pam.d" ,(pam-services->directory shared-object
combined-inputs
combined-library-path
"pam.d"
services)))))))
(define (pam-shepherd-service config)
"Return the PAM synchronization shepherd service corresponding to CONFIG."
(match config
(($ <pam-configuration> services
transformers
shared-object
guile-inputs
foreign-library-path
shepherd-requirements)
(list (shepherd-service
(documentation "Synchronization point for services that need to be
started for PAM to work.")
(provision '(pam))
(requirement shepherd-requirements)
(start #~(const #t))
(stop #~(const #f)))))))
(define (extend-configuration initial extensions)
"Extend INITIAL with NEW."
;; TODO: Remove deprecation shim.
(define cleaned-extensions
(map (lambda (ext)
(if (procedure? ext)
(begin
(warning (G_ "'pam-root-service-type' extensions should \
now use the <pam-extension> record~%"))
(pam-extension (transformer ext)))
ext))
extensions))
(let-values (((services pam-extensions)
(partition pam-service? cleaned-extensions)))
(pam-configuration
(services (append (pam-configuration-services initial)
services))
(transformers (append (pam-configuration-transformers initial)
(map pam-extension-transformer pam-extensions)))
(shared-object (pam-configuration-shared-object initial))
(guile-inputs (pam-configuration-guile-inputs initial))
(foreign-library-path (pam-configuration-foreign-library-path initial))
(shepherd-requirements
(append (pam-configuration-shepherd-requirements initial)
(append-map pam-extension-shepherd-requirements pam-extensions))))))
(define pam-root-service-type
(service-type (name 'pam)
(extensions
(list (service-extension
setuid-program-service-type
(lambda (_)
(list (file-like->setuid-program
(file-append linux-pam "/sbin/unix_chkpwd")))))
(service-extension etc-service-type /etc-entry)
(service-extension shepherd-root-service-type
pam-shepherd-service)))
;; Arguments include <pam-service> as well as procedures.
(compose concatenate)
(extend extend-configuration)
(description
"Configure the Pluggable Authentication Modules (PAM) for all
the specified @dfn{PAM services}. Each PAM service corresponds to a program,
such as @command{login} or @command{sshd}, and specifies for instance how the
program may authenticate users or what it should do when opening a new
session.")))
(define* (pam-root-service base
#:key
(transformers '())
(shared-object
(file-append guile-pam "/lib/security/pam_guile.so"))
(guile-inputs
(list guile-3.0
guile-bytestructures ;for (bytestructures guile)
guile-pam ;for (pam) and (ffi pam)
nyacc)) ;for (system ffi-helper-rt)
(foreign-library-path
(list (file-append linux-pam "/lib"))) ;for libpam.so
(shepherd-requirements '()))
"The \"root\" PAM service, which collects <pam-service> instance and turns
them into a /etc/pam.d directory, including the <pam-service> listed in BASE.
TRANSFORM is a procedure that takes a <pam-service> and returns a
<pam-service>. It can be used to implement cross-cutting concerns that affect
all the PAM services."
(service pam-root-service-type
(pam-configuration (services base)
(transformers transformers)
(shared-object shared-object)
(guile-inputs guile-inputs)
(foreign-library-path foreign-library-path)
(shepherd-requirements shepherd-requirements))))
|