Skip to content

colordiff: use w3m-batch instead of w3m#186387

Merged
stigtsp merged 1 commit intomasterfrom
unknown repository
Aug 13, 2022
Merged

colordiff: use w3m-batch instead of w3m#186387
stigtsp merged 1 commit intomasterfrom
unknown repository

Conversation

@ghost
Copy link
Copy Markdown

@ghost ghost commented Aug 13, 2022

Description of changes

colordiff uses w3m at build time to format its documentation. Let's use w3m-batch instead to avoid dragging in all of gtk3.

Things done
  • Built on platform(s)
    • powerpc64le-linux
  • Tested basic functionality of all binary files (usually in ./result/bin/)
  • Fits CONTRIBUTING.md.

colordiff uses w3m at build time to format its documentation.  Let's
use w3m-batch instead to avoid dragging in all of gtk3.
@ofborg ofborg bot requested a review from SuperSandro2000 August 13, 2022 05:52
@ofborg ofborg bot added 10.rebuild-darwin: 0 This PR does not cause any packages to rebuild on Darwin. 10.rebuild-linux: 1-10 This PR causes between 1 and 10 packages to rebuild on Linux. labels Aug 13, 2022
Copy link
Copy Markdown
Member

@stigtsp stigtsp 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!

@stigtsp stigtsp merged commit 81a0c70 into NixOS:master Aug 13, 2022
@ghost ghost deleted the pr/colordiff/w3m-batch branch August 13, 2022 22:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

10.rebuild-darwin: 0 This PR does not cause any packages to rebuild on Darwin. 10.rebuild-linux: 1-10 This PR causes between 1 and 10 packages to rebuild on Linux.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant