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

feat(init): support installing headers on generic linux distributions #67

Merged
merged 1 commit into from
Mar 17, 2019

Conversation

dalehamel
Copy link
Member

@leodido @fntlnz please take a look

This should enhance the --fetch-headers code path to work for any linux distribution, not just container OS.

I've also optimized a bit, by deleting abundant non-header files that aren't needed, which speeds up the inter-device move pretty substantially. I also decided it would be prudent to keep track of the time spent in the major operations in the script.

I've tested the generic path by commenting out the container OS one, but please try it for yourself to be sure it's all working as expected.

@leodido leodido self-requested a review March 11, 2019 02:12
Copy link
Member

@leodido leodido left a comment

Choose a reason for hiding this comment

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

LGTM !

Thanks again Dale. Going to try it tomorrow.

@fntlnz fntlnz self-requested a review March 15, 2019 21:31
Copy link

@feiskyer feiskyer left a comment

Choose a reason for hiding this comment

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

lgtm

@fntlnz fntlnz changed the title Support installing headers on generic linux distributions feat(init): support installing headers on generic linux distributions Mar 17, 2019
Copy link
Member

@fntlnz fntlnz left a comment

Choose a reason for hiding this comment

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

LGTM 🥇 Good job as always @dalehamel ! Thanks for your contribution!

@fntlnz fntlnz merged commit 95d5374 into iovisor:master Mar 17, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants