Qualcuno è a conoscenza di un simpatico tool che permetta di fare un diff tra file remoti su ssh/scp? Magari anche tra rami di directory... Mi piacerebbe fare: diff ciro a server1:/pippo/a.txt ciccio a server2:/peppo/b.txt per intenderci