darcs

Issue 1704 directory with name "core" is considered by darcs as boring file

Title directory with name "core" is considered by darcs as boring file
Priority feature Status
Milestone Resolved in
Superseder Nosy List darcs-devel, dixiecko, dmitry.kurochkin
Assigned To
Topics

Created on 2009-11-24.12:57:04 by dixiecko, last changed 2020-08-01.10:57:19 by bf.

Messages
msg9485 (view) Author: dixiecko Date: 2009-11-24.12:57:01
Hello,

I'm trying to load some project into darcs repository and I have lot of
directories with the name core. It is faling to add all them because they are
considered as boring.

It would be good to recognize boring files & boring directories, because
correctly it silently skipped directory with name "core" and failed only on
adding childs of that "boring" core directory.

Thanks.
Rado
msg22354 (view) Author: bf Date: 2020-08-01.10:57:16
We cannot distinguish between files and directories in a boring 
regexp, since trailing slashes are removed when we convert to the 
internal representation.

The workaround is to temporarily remove that regexp from the 
boringfile, add -r everything, then restore the boringfile. This 
works because a file that is already in the repo is never considered 
boring.
History
Date User Action Args
2009-11-24 12:57:04dixieckocreate
2020-08-01 10:57:19bfsetpriority: bug -> feature
status: needs-reproduction ->
messages: + msg22354