potete controllare se due file sono lo stesso file con due collegamenti tramite:
$ ls -li file1 file2
