From: Clinton Ebadi Date: Sun, 21 Oct 2018 22:44:58 +0000 (-0400) Subject: main: filter _darcs when assembling set of files in .domtool X-Git-Tag: release_20181021-1 X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/9df38662233fd059ee2fd0df1f40404f00c4cd99 main: filter _darcs when assembling set of files in .domtool At least one member is attempting to use darcs to track their config, make domtool skip _darcs as if it were a dotfile. --- diff --git a/src/main.sml b/src/main.sml index 0a241fa..3079263 100644 --- a/src/main.sml +++ b/src/main.sml @@ -118,6 +118,7 @@ fun check G fname = fun notTmp s = String.sub (s, 0) <> #"." + andalso s <> "_darcs" andalso CharVector.all (fn ch => Char.isAlphaNum ch orelse ch = #"." orelse ch = #"_" orelse ch = #"-") s fun setupUser () =