1
0
mirror of https://github.com/nix-community/home-manager synced 2024-06-26 08:28:30 +02:00

skim: correctly name default options

skim uses SKIM_DEFAULT_OPTIONS rather than SKIM_DEFAULT_OPTS.
This commit is contained in:
Shanon McQuay 2019-07-17 23:36:57 +10:00 committed by Robert Helgesson
parent cc0cd538e6
commit 734128930f
No known key found for this signature in database
GPG Key ID: 36BDAA14C2797E89

View File

@ -107,7 +107,7 @@ in
SKIM_CTRL_T_COMMAND = cfg.fileWidgetCommand;
SKIM_CTRL_T_OPTS = cfg.fileWidgetOptions;
SKIM_DEFAULT_COMMAND = cfg.defaultCommand;
SKIM_DEFAULT_OPTS = cfg.defaultOptions;
SKIM_DEFAULT_OPTIONS = cfg.defaultOptions;
}
);