[darcs-users] default boring list

[Ketil Malde]

"Zooko O'Whielacronx" <zooko at zooko.com> writes:

> I had no problem.  Fortunately I knew to edit _darcs/prefs/boring.  If
> I hadn't known where the configuration was that was forcing darcs to
> skip the file I was trying to add I would have been irritated.
> Especially since I was adding one specific file, like this:

Okay, I'm hardly well aquainted with the darcs source, but this seems
like a very trivial thing to fix:

  $ darcs whats Add.lhs
  What's new in "Add.lhs":

  {
  hunk ./Add.lhs 99
  -    nboring <- if Boring `elem` opts
  +    nboring <- if Boring `elem` opts || not (Recursive `elem` opts)
  }

  $ darcs add .bashrc 
  Skipping boring file .bashrc
  $ src/darcs/darcs add .bashrc
  $ darcs whats --sum
  A ./.bashrc

Perhaps I'm missing some issues?  (E.g. wildcard expansion - darcs add
.* is also going to ignore boring (obviously, globbing is done by the
shell, and darcs can't tell the difference between explicitly listed
files and wildcard expanded ones))

-kzm
-- 
If I haven't seen further, it is by standing in the footprints of giants