4 ms·
diff <(ssh user@host cat remote-filename) local-filename is a bit more intuitive too. You can put anything that writes to stdout in the <(), too. (Useful for d
by koenigdavidmj 16y ago
diff <(ssh user@host cat remote-filename) local-filename
is a bit more intuitive too. You can put anything that writes to stdout in the <(), too. (Useful for decrypting or decompressing on the fly.)