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
Description
The issue is in DockerNode.create_file, when it creates the parent directories for the new file. On line 204 of docker.py it uses file_path.name where file_path.parent was probably intended, which is preventing the file from being copied to the container.
Not sure why pathlib doesn't use Path.filename and Path.directory; understandably not intuitive that a class named Path has a filename for its name and not the directory path.
Environment
OS: [e.g. Ubuntu 18.04]
CORE Version [e.g. 5.2.1]
EMANE Version [e.g. 1.2.4]
The text was updated successfully, but these errors were encountered:
Description
The issue is in DockerNode.create_file, when it creates the parent directories for the new file. On line 204 of docker.py it uses file_path.name where file_path.parent was probably intended, which is preventing the file from being copied to the container.
core/daemon/core/nodes/docker.py
Lines 204 to 209 in 31e6839
Suggested Fix
Line 204:
directory = file_path.parent
Source
PurePath.name
PurePath.parent
Not sure why pathlib doesn't use Path.filename and Path.directory; understandably not intuitive that a class named Path has a filename for its name and not the directory path.
Environment
The text was updated successfully, but these errors were encountered: