cosa fa esattamente il comando diff, io in linux sono leggermente fagiano