userdirs and some more git commands

2025-07-27 12:43:08 +02:00 · 2018-10-22 10:49:21 +02:00
parent b155b31d55
commit e6761990e2
5 changed files with 25 additions and 1 deletions
--- a/config/.gitconfig
+++ b/config/.gitconfig
@@ -8,3 +8,5 @@
 	pushall = !git remote | xargs -L1 git push --all
 	diffname = !git diff --name-only
 	undocommit = reset --soft HEAD~1
+[core]
+	autocrlf = input