mirror of
https://gitlab.univ-nantes.fr/glicid-public/guix-glicid.git
synced 2025-05-01 14:45:39 +02:00
cleaning
This commit is contained in:
parent
b9553b913f
commit
deb424e698
2 changed files with 17 additions and 9 deletions
|
@ -23,9 +23,12 @@
|
|||
(define-record-type* <rc-local-configuration>
|
||||
rc-local-configuration make-rc-local-configuration
|
||||
rc-local-configuration?
|
||||
(config-file rc-local-config-file ; string
|
||||
(config-file rc-local-config-file
|
||||
(default %default-rc-local-conf)
|
||||
)
|
||||
(log-file rc-local-log-file
|
||||
(default "/var/log/rc-local.log")
|
||||
)
|
||||
)
|
||||
|
||||
(define rc-local-service
|
||||
|
@ -37,12 +40,14 @@
|
|||
(documentation "Run rc-local.")
|
||||
(requirement '(user-processes))
|
||||
(respawn? #f)
|
||||
(one-shot? #t)
|
||||
(start #~(make-forkexec-constructor
|
||||
(list
|
||||
#$(file-append bash "/bin/bash")
|
||||
"-l"
|
||||
#$config-file
|
||||
)
|
||||
#:log-file #$log-file
|
||||
))
|
||||
(stop #~(make-kill-destructor))
|
||||
)
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue