diff options
| author | Štěpán Němec <stepnem@gmail.com> | 2009-11-10 18:11:51 (GMT) |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2009-11-10 18:38:13 (GMT) |
| commit | 466d1f151a8a0bfde63f0fa5aba91bb8e0efe946 (patch) | |
| tree | ce87eaa33784491c3387be111b2056073ddc85c3 | |
| parent | bb471bf74fdff4e6e93e39677e9dab36e716b6f1 (diff) | |
| download | git-466d1f151a8a0bfde63f0fa5aba91bb8e0efe946.zip git-466d1f151a8a0bfde63f0fa5aba91bb8e0efe946.tar.gz git-466d1f151a8a0bfde63f0fa5aba91bb8e0efe946.tar.bz2 | |
git-update-index.txt: Document the --really-refresh option.
Add the description next to --assume-unchanged because this option is only
useful in a special case of using that option.
Signed-off-by: Štěpán Němec <stepnem@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
| -rw-r--r-- | Documentation/git-update-index.txt | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Documentation/git-update-index.txt b/Documentation/git-update-index.txt index 25e0bbe..6052484 100644 --- a/Documentation/git-update-index.txt +++ b/Documentation/git-update-index.txt @@ -99,6 +99,10 @@ in the index e.g. when merging in a commit; thus, in case the assumed-untracked file is changed upstream, you will need to handle the situation manually. +--really-refresh:: + Like '--refresh', but checks stat information unconditionally, + without regard to the "assume unchanged" setting. + -g:: --again:: Runs 'git-update-index' itself on the paths whose index @@ -308,7 +312,7 @@ Configuration ------------- The command honors `core.filemode` configuration variable. If -your repository is on an filesystem whose executable bits are +your repository is on a filesystem whose executable bits are unreliable, this should be set to 'false' (see linkgit:git-config[1]). This causes the command to ignore differences in file modes recorded in the index and the file mode on the filesystem if they differ only on |