plugins/utils/startify: fix wrongly named option: startify_custom_header (#118)

This commit is contained in:
Gaétan Lepage 2023-01-21 18:13:01 +01:00 committed by GitHub
parent 7a2f063f07
commit 5b84bbb513
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -182,7 +182,7 @@ mkPlugin args {
customHeader = mkDefaultOpt { customHeader = mkDefaultOpt {
description = "Define your own header"; description = "Define your own header";
global = "startify_custom_headers"; global = "startify_custom_header";
type = types.oneOf [ types.str (types.listOf types.str) ]; type = types.oneOf [ types.str (types.listOf types.str) ];
}; };