Grimmauld/home-manager
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 1

mangohud: make false values actually disable (#6299)

Browse source 
Currently the following, will produce `some_opt=false` in the
rendered config:

```nix
programs.mangohud.settings = {
  some_opt = false;
};
```

With the intention being to disable the option, this would be
incorrect, as per the following stated at:
<0575c8eb1f/data/MangoHud.conf (L3C5-L4C1)>

> Use some_parameter=0 to disable a parameter (only works with on/off
> parameters)

As such, I changed the rendering to follow this.
This will be output instead: `some_opt=0`
This commit is contained in:
Sebastián Zavala Villagómez 2025-01-13 10:20:04 -05:00 committed by GitHub
parent 2532b500c3
commit 9616d81f98
Failed to generate hash of commit
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
modules/programs/mangohud.nix
View file

@ -13,7 +13,7 @@ let
int = toString option; int = toString option;
float = int; float = int;
path = int; path = int;
bool = "false"; bool = "0"; # "on/off" opts are disabled with `=0`
string = option; string = option;
list = concatStringsSep "," (lists.forEach option (x: toString x)); list = concatStringsSep "," (lists.forEach option (x: toString x));
}.${builtins.typeOf option}; }.${builtins.typeOf option};

2
tests/modules/programs/mangohud/basic-configuration.conf
View file

@ -6,7 +6,7 @@ cpu_stats
cpu_temp cpu_temp
cpu_text=CPU cpu_text=CPU
fps_limit=30,60 fps_limit=30,60
legacy_layout=false legacy_layout=0
media_player_name=spotify media_player_name=spotify
media_player_order=title,artist,album media_player_order=title,artist,album
output_folder=/home/user/Documents/mangohud output_folder=/home/user/Documents/mangohud