leon/home-manager
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

feat: force push shortcut

Browse Source
This commit is contained in:
Leon Wilzer 2024-12-07 02:29:58 +01:00
parent 5c3a626a25
commit 5f127c4379
Signed by: leon
GPG Key ID: 645EFCD19E59ED05
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
common.nix
View File

@ -519,6 +519,7 @@ in
undo = "reset --soft 'HEAD^'";
a = "add -A";
p = "push";
fp = "push --force-with-lease";
c = "clone";
cc = ''clone "$(wl-paste)"'';
d = "diff";
@ -567,6 +568,12 @@ in
user = "git";
identityFile = "${sshDir}/github";
};
"git.cs.uni-paderborn.de git.cs.upb.de" =
lib.hm.dag.entryBefore [ "*.cs.upb.de *.cs.uni-paderborn.de" ]
{
user = "git";
identityFile = "${sshDir}/upb";
};
"*.cs.upb.de *.cs.uni-paderborn.de" = {
extraOptions = {
GSSAPIAuthentication = "yes";