Issue 1704: directory with name "core" is considered by darcs as boring file - Darcs bug tracker

Title	directory with name "core" is considered by darcs as boring file
Priority	feature	Status	resolved
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 2024-06-21.22:36:10 by bfrk.

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: bfrk	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.
msg24035 (view)	Author: bfrk	Date: 2024-06-21.22:36:10
Resolved a long time ago by patch ed1c0c56336d7aef4bce7b952cb6d02315101923 Author: Ben Franksen <ben.franksen@online.de> Date: Thu Dec 17 17:49:03 CET 2020 * append slashes to dirs before matching against boring regexps

History
Date	User	Action	Args
2009-11-24 12:57:04	dixiecko	create
2020-08-01 10:57:19	bfrk	set	priority: bug -> feature status: needs-reproduction -> (no value) messages: + msg22354
2024-06-21 22:36:10	bfrk	set	status: resolved messages: + msg24035