diff options
author | https://www.google.com/accounts/o8/id?id=AItOawnVnsqEy82M-MuS2gLri-az83wSQ6lXSrc <Jean@web> | 2015-04-07 07:02:28 +0000 |
---|---|---|
committer | admin <admin@branchable.com> | 2015-04-07 07:02:28 +0000 |
commit | e8af7e0873a4beb1ee87f4d9027f7296365dd67e (patch) | |
tree | a776999185b19bee399c84522cb59cc7d6f21174 | |
parent | d2fd84e0677c5a4be3e727aa7e27489c3572b058 (diff) |
-rw-r--r-- | doc/forum/Why_are_ignored_files_being_deleted__63__.mdwn | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/doc/forum/Why_are_ignored_files_being_deleted__63__.mdwn b/doc/forum/Why_are_ignored_files_being_deleted__63__.mdwn new file mode 100644 index 000000000..131b280cc --- /dev/null +++ b/doc/forum/Why_are_ignored_files_being_deleted__63__.mdwn @@ -0,0 +1,24 @@ +How do we get into the following situation? +First we complain about an ignored file (why not just ignore it?), +and then apparently we delete the ignored file. + +``` +[...] +import Pictures/2005/11/16/.IMG_0819.tmpwrite.JPG (duplicate) ok +(Recording state in git...) +The following paths are ignored by one of your .gitignore files: +Pictures/2008/11/27/.img_1315.tmpwrite.jpg +Use -f if you really want to add them. +fatal: no files added +git-annex: user error (xargs ["-0","git","--git-dir=/.../annex/.git","--work-tree=/.../annex","add","--"] exited 123) + +# eek, the file that we complained about has vanished! +$ rm ../Pictures/2008/12/27/.img_1315.tmpwrite.jpg +rm: cannot remove ‘../Pictures/2008/11/27/.img_1315.tmpwrite.jpg’: No such file or directory +``` + +Expected: +- leave ignored files untouched. Maybe report "Skipped ignored files." + +Actual: +- Stop import, but delete the ignored file as side effect. |