Merge branch 'master' into debian

new alias for better diff
2023-05-19 15:14:21 +02:00 · 2023-05-19 15:13:26 +02:00
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'
Author	SHA1	Message	Date
fabian	2d4027379b	Merge branch 'master' into debian	2023-05-19 15:14:21 +02:00
fabian	a73cf71925	new alias for better diff	2023-05-19 15:13:26 +02:00