projects / git-annex.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a46c385) | patch
implement move --from --to when there is a local copy already
authorJoey Hess <joeyh@joeyh.name>
Mon, 23 Jan 2023 17:16:14 +0000 (13:16 -0400)
committerJoey Hess <joeyh@joeyh.name>
Mon, 23 Jan 2023 17:17:35 +0000 (13:17 -0400)
commit8c349b8802fd57b6d7e79460758a9d850822630e
tree7e5d698af54f232c8764f244e54efeb3d00ea1e4tree | snapshot
parenta46c385aec2584419330c5dbb571c19ceb92f6fbcommit | diff
implement move --from --to when there is a local copy already

This is rather trivial, since it does not need to temporarily get the
local copy.

Added fromPerform' to handle the situation where the local copy
is dropped by another process during the copy to the dest. This avoids
ever re-downloading the local copy before dropping from the src.

Sponsored-by: Dartmouth College's DANDI project
Command/Move.hs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.