Added fix for downloading from a nested directory

wfondrie · Sep 28, 2020 · c36a5af · c36a5af
1 parent 695d86f
commit c36a5af
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/ppx/utils.py b/ppx/utils.py
@@ -104,7 +104,8 @@ def download(url, files=None, dest_dir=None, force_=False):
         files = [files]
 
     if dest_dir is not None:
-        out_files = [os.path.join(dest_dir, f) for f in files]
+        out_files = [os.path.join(dest_dir, os.path.split(f)[-1])
+                     for f in files]
     else:
         out_files = files