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

fetchurl: disallow specifying both sha256 and hash #182953

Merged
merged 6 commits into from
Aug 24, 2022

Conversation

vcunat
Copy link
Member

@vcunat vcunat commented Jul 26, 2022

A full check would be more complicated to write -
and more importantly - probably also more expensive.

Motivation: eval-time catch for errors like in commit 8198636.

A full check would be more complicated to write -
and more importantly - probably also more expensive.

Motivation: eval-time catch for errors like in commit 8198636.
@ofborg ofborg bot added 8.has: clean-up 10.rebuild-darwin: 0 This PR does not cause any packages to rebuild on Darwin 10.rebuild-linux: 0 This PR does not cause any packages to rebuild on Linux labels Jul 26, 2022
@vcunat vcunat requested a review from mweinelt as a code owner July 26, 2022 11:14
@vcunat
Copy link
Member Author

vcunat commented Jul 26, 2022

So, OfBorg doesn't show removed packages, but if you run the rebuild-amount script in reverse, you can see which packages get thrown by this. It's more than I expected, hundreds just from home-assistant.

I believe this needs community feedback, around disallowing this, using src.override, etc.

@vcunat
Copy link
Member Author

vcunat commented Jul 26, 2022

Other unresolved packages:

ansible_2_12
ansible
hadoop2
hadoop_3_2
hadoop_3_3
hadoop3
hadoop
nixos-install-tools
oci-cli
pig
powerdns-admin
python310Packages.dask-yarn
python310Packages.skein
python39Packages.dask-yarn
python39Packages.skein
spark_3_1
spark_3_2
spark3
spark
tests.nixos-functions.nixos-test
tests.testers.nixosTest-example
tests.trivial-builders.references

Let's stop using src.override.  I see no advantage.
@mweinelt
Copy link
Member

Completed the changes to home-assistant to get rid of these kinds of overrides.

@vcunat
Copy link
Member Author

vcunat commented Jul 26, 2022

/cc @SuperSandro2000 as the other author of src.override around what I changed today.

Comment on lines +120 to +121
# Many other combinations don't make sense, but this is the most common one:
if hash != "" && sha256 != "" then throw "multiple hashes passed to fetchurl" else
Copy link
Member

@SuperSandro2000 SuperSandro2000 Jul 26, 2022

Choose a reason for hiding this comment

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

Suggested change
# Many other combinations don't make sense, but this is the most common one:
if hash != "" && sha256 != "" then throw "multiple hashes passed to fetchurl" else
if hash != "" && sha1 != "" && sha256 != "" && sha512 != "" then throw "multiple hashes passed to fetchurl" else

might as well. Also what about we drop sha1 like md5?

Copy link
Member

@mweinelt mweinelt Jul 26, 2022

Choose a reason for hiding this comment

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

That's not how you check for existance of more than one hash though. And the proposed solution is at least pareto optimal.

❯ rg "sha256 =" -l | wc -l
19006
❯ rg "sha512 =" -l | wc -l
155
❯ rg "sha1 =" -l | wc -l
55

Copy link
Member Author

@vcunat vcunat Jul 26, 2022

Choose a reason for hiding this comment

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

You suggest wrong conditions. (uh, comment race, GitHub didn't update the thread for me)

Copy link
Contributor

@viraptor viraptor Jul 26, 2022

Choose a reason for hiding this comment

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

That will only fail on all of them present, so it would have to be a hash & sha1 || hash & sha256 || hash & sha512 || sha1 & sha256.... or some kind of (count-non-empty-in [hash sha1 sha256 sha512]) > 1

Copy link
Member Author

Choose a reason for hiding this comment

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

Before outright dropping the support I'd go through some time when it just prints an annoying warning. And I haven't checked the current usage in nixpkgs and tools. Anyway, that's way bigger than this PR and there's an issue already: #77238

@piegamesde
Copy link
Member

Instead of backing off overriding sources, could we maybe fix the override function so that it produces the correct behavior? For example, setting sha256 in the override also removes hash. Alternatively, it could enforce that the same attribute as in the original is used.

@vcunat
Copy link
Member Author

vcunat commented Jul 27, 2022

AFAIK it's general .override function. That has no knowledge about inter-dependencies between attributes of the function. EDIT: though I suppose we could redefine the fetcher's .override to do such things, but I don't know...

@vcunat
Copy link
Member Author

vcunat commented Jul 27, 2022

Also, what if the original derivation switches the fetchers. We commonly use many: fetchurl, fetchFromGitHub, fetchPypi... so after switching your override won't make really sense anymore. Overall I couldn't find motivation why to use .src.override, but perhaps you do so that would be nice to hear in this thread.

@mweinelt
Copy link
Member

Alternatively we could converge on a single hash field, part of what is proposed in NixOS/rfcs#131.

@vcunat
Copy link
Member Author

vcunat commented Jul 27, 2022

Possibly, but that sounds orders of magnitude more complex and far way, in comparison to this PR. EDIT: I'm not trying to claim that something like this PR will be a perfect final solution.

@jtojnar
Copy link
Member

jtojnar commented Jul 27, 2022

AFAIK it's general .override function. That has no knowledge about inter-dependencies between attributes of the function. EDIT: though I suppose we could redefine the fetcher's .override to do such things, but I don't know...

Yeah, we could have mkFetcherOverridable and use it on fetchurl:

https://github.com/NixOS/nixpkgs/blob/18692f7718b8568f1738a334397db887e27e26ae/pkgs/top-level/all-packages.nix#L728

Also, what if the original derivation switches the fetchers. We commonly use many: fetchurl, fetchFromGitHub, fetchPypi... so after switching your override won't make really sense anymore. Overall I couldn't find motivation why to use .src.override, but perhaps you do so that would be nice to hear in this thread.

That’s just the pain we have to deal with when using any overrides. We are hoping such changes are relatively rare.

The point is that with #119942, the best case scenario allows you to just do hello.overrideAttrs (attrs: { version = "1.0.0"; src = attrs.src.override { hash = "xxx"; }; }) rather than rebuilding the src completely from scratch.

@mweinelt
Copy link
Member

It would be simpler to just move pkgs/development/python-modules/ansible/core.nix to hash instead.

@vcunat
Copy link
Member Author

vcunat commented Aug 23, 2022

Well, perhaps. This seemed simple and foolproof. I just wanted to get some OK solution so this PR can get merged without dropping packages. EDIT: meaning that later improvements are welcome – and people will get the throw so it should just "get maintained by itself" in future.

I now checked eval against master and found no dropped packages anymore.

@vcunat vcunat merged commit 0e304ff into NixOS:master Aug 24, 2022
@vcunat vcunat deleted the p/fetchurl-multihash branch August 24, 2022 15:12
@SuperSandro2000
Copy link
Member

Not really a fan of the last 3 commits but I also don't know a better solution than just using hash all the time.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
6.topic: fetch 8.has: clean-up 9.needs: community feedback 10.rebuild-darwin: 0 This PR does not cause any packages to rebuild on Darwin 10.rebuild-linux: 0 This PR does not cause any packages to rebuild on Linux
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants