2021-01-07 12:01:15 +01:00
|
|
|
#!/bin/sh
|
2021-04-02 20:57:58 +02:00
|
|
|
set -o pipefail
|
2021-03-30 18:07:58 +02:00
|
|
|
# interactive diff with pagination
|
2021-07-07 00:48:35 +02:00
|
|
|
diff-color --report-identical-files "$@" |
|
2021-04-11 22:47:51 +02:00
|
|
|
less --RAW-CONTROL-CHARS --quit-on-intr --quit-if-one-screen
|