[git] Fix different mail for uni

This commit is contained in:
Tibo De Peuter 2023-10-10 22:11:09 +02:00
parent 1f273c3d01
commit 76cf33672c

View file

@ -4,7 +4,7 @@
home-manager.users.tdpeuter = { home-manager.users.tdpeuter = {
programs.git = { programs.git = {
enable = true; enable = true;
userName = "tdpeuter"; userName = "Tibo De Peuter";
userEmail = "tibo.depeuter@gmail.com"; userEmail = "tibo.depeuter@gmail.com";
extraConfig = { extraConfig = {
core.editor = "vim"; core.editor = "vim";
@ -14,8 +14,11 @@
]; ];
includes = [ includes = [
{ {
path = "~/.gitconfig-ugent"; condition = "gitdir:~/university/"; # Trailing backslash is necessary!
condition = "gitdir:~/Nextcloud/Documenten/UGent"; contentSuffix = ".gitconfig";
contents = {
user.email = "tibo.depeuter@ugent.be";
};
} }
]; ];
}; };