TL; DR
Mi piacerebbe sapere che cosa questo --exit-code
mezzi [...]
--exit-code
è un'opzione diff-*
che rende l'uscita di comando Git con 1
se ci sono cambiamenti, e 0
in caso contrario.
[...] ma non riesco a trovarlo da nessuna parte.
Si può leggere su di esso nella pagina git-diff
uomo, ma non nella pagina git-log
dell'uomo, perché non ha senso nel contesto di git-log
.
Maggiori dettagli
Sia --check
e --exit-code
sono descritte nella pagina man git-diff
(più precisamente, in Documentation/diff-options.txt
):
--check
Warn if changes introduce whitespace errors. What are considered
whitespace errors is controlled by core.whitespace configuration.
By default, trailing whitespaces (including lines that solely
consist of whitespaces) and a space character that is immediately
followed by a tab character inside the initial indent of the line
are considered whitespace errors. Exits with non-zero status if
problems are found. Not compatible with --exit-code.
e
--exit-code
Make the program exit with codes similar to diff(1). That is, it
exits with 1 if there were differences and 0 means no differences.
Alcune, sebbene non tutte, le opzioni diff-*
sono compatibili con git-log
. L'opzione è --check
, mentre l'opzione --exit-code
non è, come accennato dal seguente commit message dal Git-project repository:
docs: non menzionano --quiet
o --exit-code
in git-log (1)
Questi sono diff
-opzioni, ma in realtà non hanno senso nel contesto di log
.
(1) diff-*
stand per l'impianto idraulico comandi che la porcellana git-diff
si riferiscono.