bugfix
This commit is contained in:
parent
5601a8db02
commit
fcd30ce992
1 changed files with 7 additions and 6 deletions
|
@ -198,6 +198,7 @@ copyFromRemote r key file = do
|
||||||
else if (Git.repoIsSsh r)
|
else if (Git.repoIsSsh r)
|
||||||
then getssh
|
then getssh
|
||||||
else error "copying from non-ssh repo not supported"
|
else error "copying from non-ssh repo not supported"
|
||||||
|
where
|
||||||
getlocal = liftIO $ boolSystem "cp" ["-a", location, file]
|
getlocal = liftIO $ boolSystem "cp" ["-a", location, file]
|
||||||
getssh = do
|
getssh = do
|
||||||
liftIO $ putStrLn "" -- make way for scp progress bar
|
liftIO $ putStrLn "" -- make way for scp progress bar
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue