1
0
Fork 0
mirror of https://github.com/nix-community/home-manager.git synced 2024-12-14 11:57:55 +00:00

prezto: be caseSensitive by default

See https://github.com/nix-community/home-manager/issues/2255.

This causes a really noticeable slowdown that is quite hard to track
down!
This commit is contained in:
Michael Peyton Jones 2023-11-26 15:45:04 +00:00 committed by Robert Helgesson
parent c781b28add
commit 206f457fff
No known key found for this signature in database
GPG key ID: 96E745BD17AA17ED

View file

@ -16,7 +16,8 @@ let
caseSensitive = mkOption {
type = types.nullOr types.bool;
default = null;
# See <https://github.com/nix-community/home-manager/issues/2255>.
default = true;
example = true;
description =
"Set case-sensitivity for completion, history lookup, etc.";