From 4590a0263e6290cbef48489d2a6db00827818d24 Mon Sep 17 00:00:00 2001 From: Marco Bonelli Date: Sun, 16 Jun 2019 20:50:34 +0200 Subject: [PATCH] diff: add Italian translation. --- pages.it/common/diff.md | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 pages.it/common/diff.md diff --git a/pages.it/common/diff.md b/pages.it/common/diff.md new file mode 100644 index 000000000..017c800a2 --- /dev/null +++ b/pages.it/common/diff.md @@ -0,0 +1,27 @@ +# diff + +> Confronta file e directory. + +- 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}}`