Quindi sembra che digitare man git init
un prompt bash su un sistema Ubuntu 14.04 faccia lo stesso man git-init
, solo che non sono del tutto sicuro di come.
La man
pagina per man
(cioè man man
) non sembra consentire questo costrutto, a meno che non git
fosse una section
del manuale, ma la pagina man sembra provenire dalla sezione 1
.
Questo è un utilizzo non documentato supportato da man
? Ho frainteso la documentazione di man
? Sta succedendo qualche altra magia? Qualcuno ha cura di spiegare?
git init