diff options
author | Joey Hess <joeyh@joeyh.name> | 2017-01-30 16:41:29 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2017-01-30 16:46:38 -0400 |
commit | 9b17947b394cc2720b15aaf44e6fb7703ba8513f (patch) | |
tree | d97e570df7bf859031713d3963baf4be7f65bfbf /Logs.hs | |
parent | dc2095666d7b8e39ec3e1f2f26dca7eceff34877 (diff) |
config: New command for storing configuration in the git-annex branch.
Any config names can be set using this; git-annex commands will only look
at specific ones that make sense and are worth the overhead of querying the
branch.
This might also be useful for storing whatever other config-type stuff the
user might want to shove into the git-annex branch.
This commit was sponsored by Jochen Bartl on Patreon.
Diffstat (limited to 'Logs.hs')
-rw-r--r-- | Logs.hs | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -63,6 +63,9 @@ uuidLog = "uuid.log" numcopiesLog :: FilePath numcopiesLog = "numcopies.log" +configLog :: FilePath +configLog = "config.log" + remoteLog :: FilePath remoteLog = "remote.log" |