blob: 103f49fdb3ab68e20f5de229e16a0cc4999f0277 (
plain)
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
|
(define-module (vkraus systems webid-oidc-issuer)
#:use-module (gnu)
#:use-module (guix)
#:use-module (guix packages)
#:use-module (guix download)
#:use-module (vkraus services webid-oidc)
#:use-module (vkraus packages webid-oidc))
(operating-system
(locale "fr_FR.utf8")
(timezone "Europe/Paris")
(keyboard-layout (keyboard-layout "fr"))
(host-name "webid-oidc-issuer")
(users (cons* (user-account
(name "admin")
(comment "Administrator")
(group "users")
(home-directory "/home/admin")
(supplementary-groups
'("wheel" "netdev")))
%base-user-accounts))
(packages
(append
(list (specification->package "nss-certs"))
%base-packages))
(services
(append
(cons*
(service webid-oidc-issuer-service-type
(webid-oidc-issuer-configuration
(webid-oidc webid-oidc-snapshot)
(issuer "http://localhost:8080")
(subject "http://localhost:8080/profile/card#me")
(password "p4ssw0rd")
(jwks-uri "http://localhost:8080/keys")
(authorization-endpoint-uri "http://localhost:8080/authorize")
(token-endpoint-uri "http://localhost:8080/token")
(port 8080)))
%base-services)))
(bootloader
(bootloader-configuration
(bootloader grub-efi-bootloader)
(target "/boot/efi")
(keyboard-layout keyboard-layout)))
(file-systems
(cons* (file-system
(mount-point "/")
(device "/dev/sda")
(type "ext4"))
%base-file-systems)))
|