New --time-limit option, makes long git-annex commands stop after a specified amount of time.

This commit is contained in:
Joey Hess 2012-09-25 16:48:24 -04:00
parent 995b04d36f
commit f0e0d17440
6 changed files with 63 additions and 4 deletions

View file

@ -77,6 +77,8 @@ paramType :: String
paramType = "TYPE"
paramDate :: String
paramDate = "DATE"
paramTime :: String
paramTime = "TIME"
paramFormat :: String
paramFormat = "FORMAT"
paramFile :: String