mirror of
https://github.com/nix-community/home-manager
synced 2025-01-06 00:59:48 +01:00
skim: correctly name default options
skim uses SKIM_DEFAULT_OPTIONS rather than SKIM_DEFAULT_OPTS.
(cherry picked from commit 734128930f
)
This commit is contained in:
parent
b8bbd242f8
commit
9291923e84
1 changed files with 1 additions and 1 deletions
|
@ -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;
|
||||
}
|
||||
);
|
||||
|
||||
|
|
Loading…
Reference in a new issue