diff options
| author | Timo Wilken | 2024-07-26 20:03:05 +0200 |
|---|---|---|
| committer | Timo Wilken | 2024-07-26 20:03:05 +0200 |
| commit | 1f1133192ee163a615f62d497b8d862b37aa1cb7 (patch) | |
| tree | ad58ddacf39b1e4bb4fc97643c2c060073f42886 | |
| parent | af430107c897661a7124f491912e09297e44c379 (diff) | |
Remove old kitty-specific git config
This is not useful in Wayland environments anymore, and I never really used it
anyway.
| -rw-r--r-- | tw/services/git.scm | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/tw/services/git.scm b/tw/services/git.scm index 168301a5..414d392e 100644 --- a/tw/services/git.scm +++ b/tw/services/git.scm @@ -84,17 +84,6 @@ containing work projects.")) [advice] detachedHead = false addEmptyPathspec = false -# https://sw.kovidgoyal.net/kitty/kittens/diff/ -[diff] - tool = kitty - guitool = kitty.gui -[difftool] - prompt = false - trustExitCode = true -[difftool \"kitty\"] - cmd = " kitty "/bin/kitty +kitten diff $LOCAL $REMOTE -[difftool \"kitty.gui\"] - cmd = " kitty "/bin/kitty " kitty "/bin/kitty +kitten diff $LOCAL $REMOTE "))))) (define home-git-service-type |