Closed yanivy-nr closed 1 year ago
Hi, thank you very much for raising this topic.
I don't want to make copy()
able to do this because it is already quite a complex function. Instead, I prefer building a helper ontop of copy()
which can do exactly what you are asking for.
I've done this (and quite a few other related changes) in PR #77. The important commit is f8069544d1e5
which adds the function in question. I've included some examples of the intended usage in its documentation.
Maybe you can checkout that branch and give me some feedback whether this works for your usecase?
I merged the changes now anyway, but I'd still be happy to hear if it helps you with your use-case. If it doesn't, we can reopen this issue.
Hello,
When trying to copy multiple files filtered via glob to the device, shell.copy() fails with the following error:
Below is the code we use for copying files:
The current workaround is to get the file list from the glob and using a loop to copy the files:
It would be great to have shell.copy() support copying files with glob.
thanks, Yaniv