1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-11-30 06:59:45 +01:00

zathura: Fix the type for config options (#5934)

* zathura: add float to acceptable types for `options` attrset

The man page states that the `set` directive can take 4 types of values:
INT, FLOAT, STRING, BOOL. But the FLOAT part was missing from the
home-manager module

* zathura: make type of `programs.zathura.options` more readable

Change from cascading mess of `either` to `oneOf`
This commit is contained in:
Akshett Rai Jindal 2024-10-07 18:46:25 +05:30 committed by GitHub
parent fcf5e608ac
commit 3ac39b2a8b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -31,7 +31,7 @@ in {
options = mkOption { options = mkOption {
default = { }; default = { };
type = with types; attrsOf (either str (either bool int)); type = with types; attrsOf (oneOf [ str bool int float ]);
description = '' description = ''
Add {option}`:set` command options to zathura and make Add {option}`:set` command options to zathura and make
them permanent. See them permanent. See