mirror of
https://github.com/ilyakooo0/urbit.git
synced 2024-11-13 08:38:43 +03:00
king: do not commit files starting with a dot
This commit is contained in:
parent
7084d8951d
commit
e6857d5797
@ -42,7 +42,7 @@ validClaySyncPath fp = hasPeriod && notTildeFile && notDotHash && notDoubleHash
|
||||
fileName = takeFileName fp
|
||||
hasPeriod = elem '.' fileName
|
||||
notTildeFile = not $ "~" `isSuffixOf` fileName
|
||||
notDotHash = not $ ".#" `isPrefixOf` fileName
|
||||
notDotHash = not $ "." `isPrefixOf` fileName
|
||||
notDoubleHash =
|
||||
not $ ("#" `isPrefixOf` fileName) && ("#" `isSuffixOf` fileName)
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user