diff options
author | Joey Hess <joeyh@joeyh.name> | 2017-11-29 13:49:52 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2017-11-29 13:53:39 -0400 |
commit | b7178922644c813a2cb69c185ca751aa234fa05b (patch) | |
tree | 770900f2dbdd269c5224eaf30ad42f0083732697 /Types/Remote.hs | |
parent | 8c07e4dbf7d5145ed6412278c4288e3c405484ed (diff) |
add gitAnnexTmpWorkDir and withTmpWorkDir
Needed to run youtube-dl in, but could also be useful for other stuff.
The tricky part of this was making the workdir be cleaned up whenever the
tmp object file is cleaned up.
This commit was sponsored by Ole-Morten Duesund on Patreon.
Diffstat (limited to 'Types/Remote.hs')
0 files changed, 0 insertions, 0 deletions