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.

Sign up for GitHub

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

Jump to bottom

SOURCES: run apt-get source parallelized #170

Merged
merged 2 commits into from
Nov 5, 2024
Merged

SOURCES: run apt-get source parallelized #170

merged 2 commits into from
Nov 5, 2024

Conversation

zeha
Copy link
Member

@zeha zeha commented Nov 5, 2024 •
edited
Loading

Saves about 8min (~40%!) on a GRML_SMALL build.
Also calls apt-get less often, as we now ask dpkg for the source package names.

@zeha
get-sources: resolve source package names ourselves
93399d3 
Avoids restarting apt for each package.
@zeha
get-sources: run apt-get source parallelized
5db208d 
Saves about 8min (~40%!) on a GRML_SMALL build.
@zeha zeha requested a review from mika November 5, 2024 00:50
@zeha zeha self-assigned this Nov 5, 2024
mika
mika approved these changes Nov 5, 2024
View reviewed changes
Copy link
Member

@mika mika left a comment

Choose a reason for hiding this comment

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

Awesome, thanks!

@zeha zeha merged commit 882f32d into master Nov 5, 2024
3 checks passed
@zeha zeha deleted the sources-parallel branch November 5, 2024 14:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@mika mika mika approved these changes

Assignees

@zeha zeha

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@zeha @mika