change default git editor to $EDITOR

This commit is contained in:
jacekpoz 2024-02-15 10:50:45 +01:00
parent 993bb11a26
commit 67edcfcf49
No known key found for this signature in database
GPG key ID: 94E812A8B12AAE3C

View file

@ -22,7 +22,7 @@ in {
}; };
editor = mkOption { editor = mkOption {
type = types.str; type = types.str;
default = config.environment.sessionVariables.EDITOR; default = "$EDITOR";
description = "commit message editor"; description = "commit message editor";
}; };
defaultBranch = mkOption { defaultBranch = mkOption {