home-services: shells: Add declared plugins to the user's home profile

main
Luis Guilherme Coelho 2024-08-11 02:25:32 -03:00
parent fcb5da4adc
commit ac028d4c8b
No known key found for this signature in database
GPG Key ID: 1F2E76ACE3F531C8
1 changed files with 7 additions and 2 deletions

View File

@ -67,8 +67,12 @@
(define fish-env-vars? alist?)
(define fish-aliases? alist?)
(define (fish-plugin? x)
(and (package? x)
(string-prefix? "fish-" (package-name x))))
(define fish-plugins?
(list-of package?))
(list-of fish-plugin?))
(define (serialize-fish-abbreviations field-name val)
#~(string-append
@ -153,7 +157,8 @@ end\n\n")
home-fish-configuration-fields)))))
(define (fish-profile-service config)
(list (home-fish-configuration-package config)))
(cons* (home-fish-configuration-package config)
(home-fish-configuration-plugins config)))
(define-configuration/no-serialization home-fish-extension
(config