[darcs-devel] [patch2127] append slashes to dirs before matching against boring regexps

Ben Franksen bugs at darcs.net
Sat Dec 19 22:29:45 UTC 2020


Ben Franksen <ben.franksen at online.de> added the comment:

Here are two follow-up patches.

2 patches for repository http://darcs.net/screened:

patch 8e2a4f15ecc700d7156dfdf5807ef4ed26a7f0f8
Author: Ben Franksen <ben.franksen at online.de>
Date:   Sat Dec 19 23:32:45 CET 2020
  * default boring: replace ($|/) with /
  
  This pattern was used to match a directory or any of its entries
  (recursively) and can now be simplified.

patch cd867c052cde7d227bbc70e0300e12e46424f2ac
Author: Ben Franksen <ben.franksen at online.de>
Date:   Sat Dec 19 09:26:46 CET 2020
  * adapt regex to ignore build directory in our boringfile

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch2127>
__________________________________
-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch-preview.txt
Type: text/x-darcs-patch
Size: 2180 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20201219/53faf5a8/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: default-boring_-replace-_____-with-_.dpatch
Type: application/x-darcs-patch
Size: 2705 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20201219/53faf5a8/attachment-0001.bin>
-------------- next part --------------
.





More information about the darcs-devel mailing list