2019-06-16 19:50:34 +01:00
|
|
|
# diff
|
|
|
|
|
|
|
|
|
|
> Confronta file e directory.
|
2024-06-17 17:21:33 +01:00
|
|
|
> Maggiori informazioni: <https://manned.org/diff>.
|
2019-06-16 19:50:34 +01:00
|
|
|
|
|
|
|
|
- Confronta due file (elenca cambiamenti necessari per trasformare `vecchio_file` in `nuovo_file`):
|
|
|
|
|
|
|
|
|
|
`diff {{vecchio_file}} {{nuovo_file}}`
|
|
|
|
|
|
|
|
|
|
- Confronta due file ignorando gli spazi:
|
|
|
|
|
|
|
|
|
|
`diff -w {{vecchio_file}} {{nuovo_file}}`
|
|
|
|
|
|
|
|
|
|
- Confronta due file mostrando le differenze fianco a fianco:
|
|
|
|
|
|
|
|
|
|
`diff -y {{vecchio_file}} {{nuovo_file}}`
|
|
|
|
|
|
|
|
|
|
- Confronta due file, mostrando le differenze in formato unificato (come `git diff`):
|
|
|
|
|
|
|
|
|
|
`diff -u {{vecchio_file}} {{nuovo_file}}`
|
|
|
|
|
|
|
|
|
|
- Confronta due directory ricorsivamente (mostra i nomi dei file/directory diversi e le differenze trai file):
|
|
|
|
|
|
|
|
|
|
`diff -r {{old_directory}} {{new_directory}}`
|
|
|
|
|
|
|
|
|
|
- Confronta due directory mostrando solamente il nome dei file diversi:
|
|
|
|
|
|
|
|
|
|
`diff -rq {{old_directory}} {{new_directory}}`
|
