mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

better dummy value

Browse source 
no need for empty string when it's going to be thrown away..
This commit is contained in:
Joey Hess 2020-09-02 14:54:46 -04:00
parent 6e9a4f50f3
commit 22a7f14e7b
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
1 changed files with 7 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

14
Utility/Directory.hs
View file

@ -110,16 +110,16 @@ moveFile src dest = tryIO (rename src dest) >>= onrename
onrename (Left e) onrename (Left e)
| isPermissionError e = rethrow | isPermissionError e = rethrow
| isDoesNotExistError e = rethrow | isDoesNotExistError e = rethrow
| otherwise = viaTmp mv dest "" | otherwise = viaTmp mv dest ()
where where
rethrow = throwM e rethrow = throwM e
mv tmp _ = do mv tmp () = do
-- copyFile is likely not as optimised as -- copyFile is likely not as optimised as
-- the mv command, so we'll use the command. -- the mv command, so we'll use the command.
-- --
-- But, while Windows has a "mv", it does not seem very -- But, while Windows has a "mv", it does not seem very
-- reliable, so use copyFile there. -- reliable, so use copyFile there.
#ifndef mingw32_HOST_OS #ifndef mingw32_HOST_OS
-- If dest is a directory, mv would move the file -- If dest is a directory, mv would move the file
-- into it, which is not desired. -- into it, which is not desired.