You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Per this comment, Container.pull_path doesn't retrieve empty directories. This seems like a bug, not a feature (Git's behaviour notwithstanding). From a quick look at the code, I think push_path will have a similar problem.
We probably need to change the _list_recursive helper to also yield directories (before recursing), and the callers test if it's a directory and create it, otherwise copy the file.
The text was updated successfully, but these errors were encountered:
Instead of just recursively iterating through the remote/local files,
also iterate through the directories as well, ensuring that they are
created even if they don't contain any files.
Also create/update relevant test cases.
Fixes#968
Per this comment,
Container.pull_path
doesn't retrieve empty directories. This seems like a bug, not a feature (Git's behaviour notwithstanding). From a quick look at the code, I thinkpush_path
will have a similar problem.We probably need to change the
_list_recursive
helper to also yield directories (before recursing), and the callers test if it's a directory and create it, otherwise copy the file.The text was updated successfully, but these errors were encountered: