aboutsummaryrefslogtreecommitdiff
path: root/Config.hs
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2011-03-27 21:43:25 -0400
committerGravatar Joey Hess <joey@kitenet.net>2011-03-27 21:43:25 -0400
commit6b5918c295715d0599005c9367f5dab5468169c5 (patch)
treebf54f1fc8b75084d3f1ddd74c260c8521e1eb51c /Config.hs
parent28bf28a73c503c7c2d9add38e964149355bb9e50 (diff)
some reorg and further remote generalization
Diffstat (limited to 'Config.hs')
-rw-r--r--Config.hs68
1 files changed, 68 insertions, 0 deletions
diff --git a/Config.hs b/Config.hs
new file mode 100644
index 000000000..aae7d8291
--- /dev/null
+++ b/Config.hs
@@ -0,0 +1,68 @@
+{- Git configuration
+ -
+ - Copyright 2011 Joey Hess <joey@kitenet.net>
+ -
+ - Licensed under the GNU GPL version 3 or higher.
+ -}
+
+module Config where
+
+import Data.Maybe
+import Control.Monad.State (liftIO)
+
+import qualified GitRepo as Git
+import qualified Annex
+import Types
+import Utility
+
+type ConfigKey = String
+
+{- Changes a git config setting in both internal state and .git/config -}
+setConfig :: ConfigKey -> String -> Annex ()
+setConfig k value = do
+ g <- Annex.gitRepo
+ liftIO $ Git.run g "config" [Param k, Param value]
+ -- re-read git config and update the repo's state
+ g' <- liftIO $ Git.configRead g
+ Annex.changeState $ \s -> s { Annex.repo = g' }
+
+{- Looks up a per-remote config setting in git config.
+ - Failing that, tries looking for a global config option. -}
+getConfig :: Git.Repo -> ConfigKey -> String -> Annex String
+getConfig r key def = do
+ g <- Annex.gitRepo
+ let def' = Git.configGet g global def
+ return $ Git.configGet g local def'
+ where
+ local = "remote." ++ fromMaybe "" (Git.repoRemoteName r) ++ ".annex-" ++ key
+ global = "annex." ++ key
+
+{- Calculates cost for a remote.
+ -
+ - The default cost is 100 for local repositories, and 200 for remote
+ - repositories; it can also be configured by remote.<name>.annex-cost
+ -}
+remoteCost :: Git.Repo -> Annex Int
+remoteCost r = do
+ c <- getConfig r "cost" ""
+ if not $ null c
+ then return $ read c
+ else if not $ Git.repoIsUrl r
+ then return 100
+ else return 200
+
+{- Checks if a repo should be ignored, based either on annex-ignore
+ - setting, or on command-line options. Allows command-line to override
+ - annex-ignore. -}
+remoteNotIgnored :: Git.Repo -> Annex Bool
+remoteNotIgnored r = do
+ ignored <- getConfig r "ignore" "false"
+ to <- match Annex.toremote
+ from <- match Annex.fromremote
+ if to || from
+ then return True
+ else return $ not $ Git.configTrue ignored
+ where
+ match a = do
+ n <- Annex.getState a
+ return $ n == Git.repoRemoteName r