diff options
author | Joey Hess <joeyh@joeyh.name> | 2016-11-21 17:27:38 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2016-11-21 17:27:38 -0400 |
commit | 01bf227ad1d9bd30d6fad2dc104b264a1f55c2c4 (patch) | |
tree | f893d0e14aea0cdec4dbe04d4c4703c44be658ac /Build | |
parent | 849256634ad1234f9957532e0131e0e2b491bdeb (diff) |
Added git-remote-tor-annex, which allows git pull and push to the tor hidden service.
Almost working, but there's a bug in the relaying.
Also, made tor hidden service setup pick a random port, to make it harder
to port scan.
This commit was sponsored by Boyd Stephen Smith Jr. on Patreon.
Diffstat (limited to 'Build')
-rw-r--r-- | Build/Mans.hs | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/Build/Mans.hs b/Build/Mans.hs index cf86d983d..2ea9b4197 100644 --- a/Build/Mans.hs +++ b/Build/Mans.hs @@ -50,8 +50,11 @@ buildMans = do else return (Just dest) isManSrc :: FilePath -> Bool -isManSrc s = "git-annex" `isPrefixOf` (takeFileName s) - && takeExtension s == ".mdwn" +isManSrc s + | not (takeExtension s == ".mdwn") = False + | otherwise = "git-annex" `isPrefixOf` f || "git-remote-" `isPrefixOf` f + where + f = takeFileName s srcToDest :: FilePath -> FilePath srcToDest s = "man" </> progName s ++ ".1" |