Merge branch 'master' into debian

2023-05-19 15:14:21 +02:00
parent d59183ad63 a73cf71925
commit 2d4027379b
1 changed files with 1 additions and 0 deletions
--- a/home_external/.bash_aliases
+++ b/home_external/.bash_aliases
@@ -1,5 +1,6 @@
 if [ "$TERM" == 'xterm-kitty' ]; then
   alias ssh='kitty +kitten ssh'
+   alias diff='kitty +kitten diff'
 fi

 DEFAULT_RSYNC='--info=ALL --recursive --delay-updates --human-readable --links --hard-links --perms'