ItsDrike/nixdots
1
0
Fork 0
mirror of https://github.com/ItsDrike/nixdots synced 2025-06-29 07:50:43 +00:00
Code Issues Projects Releases Packages Wiki Activity

Make git username&email custom options

Browse source
This commit is contained in:
ItsDrike 2024-04-05 02:03:22 +02:00
parent e121bf2c40
commit b58cf4604c
Signed by: ItsDrike
GPG key ID: FA2745890B7048C0
3 changed files with 18 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

11
options/home/git.nix
View file

@ -2,6 +2,17 @@
in
{
options.myOptions.home-manager.git = {
userName = mkOption {
type = types.str;
default = "";
description = "The default git user name.";
};
userEmail = mkOption {
type = types.str;
default = "";
description = "The default git user email.";
};
signing = {
enabled = mkOption {
type = types.bool;