Hi
The `.` dot is a possible path spec on Linux (You didn't say which
OS/git version you were running on). Just as you can use double dot for
the parent directory in many commands, you can use a single dot to
represent the current directory. Hence adding '.' should add the current
directory.
Aside: have a search for the origin of the convention that a filename
with a leading dot is a hidden file, to get to the source of the single
dot notation, and the coding hack that made a leading dot 'hidden'.
Philip
(repeated because I used private email on first attempt, rejected by
googlegroups)
On 07/09/2018 22:46, Philippe Baret wrote:
|git add .| does not show in the |git add| man page
<https://git-scm.com/docs/git-add>.
Where does this dot come from ?
It is referring may be to the concept of |<pathspec>|, checking the
git glossary <https://git-scm.com/docs/gitglossary> for this term is
not clear as well because the dot is never shown. According to the
glossary, |<pathspec>| is a "Pattern used to limit paths in Git
commands. [It is] used on the command line of "git ls-files",
"gitls-tree", "git add", "git grep", "git diff", "git checkout", and
many other commands to limit the scope of operations to some subset of
the tree or worktree."
This command is quasi similar to |git add -A| according to this
stackoverflow post
<https://stackoverflow.com/questions/572549/difference-between-git-add-a-and-git-add>
which never quotes a source and generates some debate about the
accuracy of the given answers.
Thank you.
--
You received this message because you are subscribed to the Google
Groups "Git for human beings" group.
To unsubscribe from this group and stop receiving emails from it, send
an email to git-users+unsubscr...@googlegroups.com
<mailto:git-users+unsubscr...@googlegroups.com>.
For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to the Google Groups "Git for
human beings" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to git-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
