Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix path typing #123

Closed
wants to merge 2 commits into from
Closed

Fix path typing #123

wants to merge 2 commits into from

Conversation

trungleduc
Copy link
Collaborator

The host_path variable is not cast into a Path instance, which leads to exception in this call

if host_path.is_dir():

@jtpio jtpio added the bug Something isn't working label Oct 11, 2024
@jtpio
Copy link
Member

jtpio commented Oct 11, 2024

Thanks @trungleduc!

Looks like we'll need #121 to fix the CI.

jtpio
jtpio previously approved these changes Oct 11, 2024
Copy link
Member

@jtpio jtpio left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@@ -303,6 +304,7 @@ def pack_prefix(self, kernel_dir):
host_path, mount_path = mount.split(":")
host_path = Path(host_path)
mount_path = Path(mount_path)
host_path = Path(host_path)
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Actually, the same line already seems to be there two lines above?

@jtpio jtpio dismissed their stale review October 11, 2024 20:51

Change may not be needed

@trungleduc
Copy link
Collaborator Author

Indeed, I was using an outdated fork.

@trungleduc trungleduc closed this Oct 11, 2024
@trungleduc trungleduc deleted the fix-path branch October 11, 2024 21:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants