change profile option type

This commit is contained in:
Sean Buckley 2020-12-29 01:18:46 -05:00
parent 45c4207598
commit e68eeb588f

View file

@ -6,7 +6,9 @@ in
{ {
options.sconfig = { options.sconfig = {
profile = mkOption { type = types.str; }; profile = mkOption {
type = types.enum [ "server" "desktop-gnome" "desktop-sway" ];
};
scroll-boost = mkEnableOption "Patch libinput scroll speed"; scroll-boost = mkEnableOption "Patch libinput scroll speed";