worldofpeace changed the topic of #nixos-dev to: NixOS Development (#nixos for questions) | NixOS 20.09 Nightingale ✨ https://discourse.nixos.org/t/nixos-20-09-release/9668 | https://hydra.nixos.org/jobset/nixos/trunk-combined https://channels.nix.gsc.io/graph.html | https://r13y.com | 20.09 RMs: worldofpeace, jonringer | https://logs.nix.samueldr.com/nixos-dev
jess has quit [Quit: Lost terminal]
jess has joined #nixos-dev
orivej has quit [Ping timeout: 265 seconds]
bennofs__ has joined #nixos-dev
jpo has quit [Ping timeout: 268 seconds]
bennofs_ has quit [Ping timeout: 260 seconds]
jpo has joined #nixos-dev
AkechiShiro has quit [Quit: WeeChat 2.9]
<pie_> Who can I poke about GTK/x11(/container?) stuff? https://github.com/NixOS/nixpkgs/issues/102137
<{^_^}> #102137 (by paralin, 24 weeks ago, closed): aarch64: gtk+3 dependency cairo-xlib not found
<pie_> wrong link
<{^_^}> #119841 (by deliciouslytyped, 3 minutes ago, open): GTK build broken referring to cairo-xlib under unknown circumstances
tomberek has quit [Quit: Connection closed]
<supersandro2000> I would appreciate it if someone with good English could look at https://github.com/NixOS/nixpkgs/pull/116475
<{^_^}> #116475 (by davidak, 4 weeks ago, open): doc: add instructions to remove a package
abathur has quit [Quit: abathur]
supersandro2000 has quit [Remote host closed the connection]
supersandro2000 has joined #nixos-dev
<siraben> supersandro2000: reviewing
<siraben> Is it intentional that the number listing is 1.\n1.\n ...?
<samueldr> in markdown it's fine
<samueldr> by the spec it will maie <ol>
<samueldr> make*
tomberek has joined #nixos-dev
<samueldr> odd, the systemd-boot install script in NixOS fails silently, but with a success return code on aarch64...
<samueldr> though I'm switching from grub, if it matters
<samueldr> I had to `sudo bootctl --path /boot/ --no-variables install` to coax it into doing what it should
<samueldr> otherwise it would end with `could not find any previously installed systemd-boot`
<siraben> samueldr: ok
<samueldr> odd, it doesn't boot, though grub can...
<samueldr> systemd-boot starts, but the kernel panics
<tomberek> playing around with declaring hydraJobs in flakes. Does this not support tracking input changes when flake.lock updates (or not using the flake.lock in order to pull master from input repos?) I'm referring to the "Changes" table here: https://hydra.nixos.org/build/4317089
rajivr has joined #nixos-dev
abathur has joined #nixos-dev
copumpkin has joined #nixos-dev
AlwaysLivid has quit [Ping timeout: 240 seconds]
easylee has left #nixos-dev ["The Lounge - https://thelounge.chat"]
<Ericson2314> qyliss bsd label sounds good. OpenSSL I really have no clue, even after looking at the commit that TODO came from. Do whatever you want with it and feel free to just remove it then.
cole-h has quit [Ping timeout: 252 seconds]
tomberek has quit [Ping timeout: 240 seconds]
cjb has quit []
thonkpod has quit [Ping timeout: 260 seconds]
nyanotech has quit [Ping timeout: 250 seconds]
thonkpod has joined #nixos-dev
nyanotech has joined #nixos-dev
orivej has joined #nixos-dev
evanjs has quit [Read error: Connection reset by peer]
evanjs has joined #nixos-dev
charukiewicz has quit [Ping timeout: 252 seconds]
charukiewicz has joined #nixos-dev
Kritnich has quit [Quit: The Lounge - https://thelounge.chat]
Kritnich has joined #nixos-dev
<ma27[m]> niksnut: so would you approve https://github.com/NixOS/nix/pull/4688 if getting forcing eval errors always happen on `nix build` rather than only doing this if `-F` is set? :)
<{^_^}> nix#4688 (by Ma27, 2 weeks ago, open): libcmd/installables: add `-F` to force revaluation of cached failures
<niksnut> ma27[m]: in that case the -F flag would not be necessary anymore, right?
<ma27[m]> yes.
Synthetica has joined #nixos-dev
bennofs__ has quit [Ping timeout: 240 seconds]
bennofs_ has joined #nixos-dev
bennofs_ has quit [Ping timeout: 246 seconds]
__monty__ has joined #nixos-dev
<ScottHDev> Hello, I'm trying to make a derivation for some python modules and one of them needs to load a dynamic library at runtime. But this is not an executable but a python module. So I can't wrap anything to prefix it with a custom LD_LIBRARY_PATH.
<lukegb> Can you replace the path to the dynamic library with a fully-qualified path using substituteInPlace?
<ScottHDev> Ok thanks ! this worked
<domenkozar[m]> PR for automating warnings on direct pushes: https://github.com/NixOS/nixpkgs/pull/119859
<{^_^}> #119859 (by domenkozar, 3 minutes ago, open): Add a warning comment on commits that violate https://github.com/NixO
<qyliss> Can we stop the label bot removing manually-added labels somehow?
<qyliss> now that I've told it some paths that should automatically get the BSD label, it's removing the BSD label from any manually-tagged PRs that don't touch those paths
<{^_^}> actions/labeler#112 (by pllim, 22 weeks ago, open): How to only add label, not remove when PR is opened?
<gchristensen> domenkozar[m]: looks great!
<gchristensen> qyliss: ofborg had the exact same issue
<qyliss> . o O ( label override bot )
<gchristensen> lol
<qyliss> actually wouldn't be too hard to scan each PR, see if labels had been added by a non-bot user, and add them back
<qyliss> (if they had been removed by a bot user)
<gchristensen> two bots, both alike in dignity, in github labels, where we lay our scene
<qyliss> :D
<supersandro2000> qyliss: RTFM https://github.com/actions/labeler#inputs
<supersandro2000> there is an option to disable that and if remember I turn that off later if no one else did already did it
<qyliss> supersandro2000: that's not really what we want though -- the bot should remove labels it's added if they're no longer relevant, it just shouldn't touch labels added by humans
<supersandro2000> I did a quick search on GitHubs API and I don't think they really expose this information
<gchristensen> I *think* the event stream does
jess has quit [Ping timeout: 622 seconds]
<ikwildrpepper> domenkozar[m]: nice (warning)
jonringer has joined #nixos-dev
jonringer has quit [Remote host closed the connection]
jonringer has joined #nixos-dev
rj has joined #nixos-dev
jonringer has quit [Remote host closed the connection]
<domenkozar[m]> Am I the only one that's really sad how we have automation for bugging people for extra whitespace (somehow that's a requirement on maintainer to remove it) but very little of automation of things like backporting, etc?
jonringer has joined #nixos-dev
<domenkozar[m]> It's probably two separate things going on: requiring changes for nitpicking seems contraproductive vs. tooling to help maintainers would really make a huge difference in a positive way
<LinuxHackerman> +1
<gchristensen> we actually have quite a lot of very good automation helping maintainers, but I suppose the nature of the problem is in blends in :)
<gchristensen> I think there is some automation now to help with backports
orivej has quit [Ping timeout: 240 seconds]
<domenkozar[m]> gchristensen oh, do you know where?
<gchristensen> maybe I'm thinking rebase
<gchristensen> but I think there has been some looking at backports
rj has quit [Ping timeout: 240 seconds]
rj has joined #nixos-dev
<supersandro2000> we do not have
<supersandro2000> basically we need something that auto generates PR from merged PRs that have the backport label
<supersandro2000> I would do it but I have no experience with writing GH Actions and if it isn't done properly it will be a bit problematic
<lukegb> bear in mind that sometimes backports are bumping minor versions, and the same thing isn't applicable to stable as to master
<supersandro2000> oh and GitHub Actions cannot create the PR directly or the CI will not run
<supersandro2000> thats the bot nextcloud uses https://github.com/rullzer/backportbot
<supersandro2000> I didn't find anything better and the marketplace is also very empty on this topic.
<supersandro2000> or I searched for the wrong things
mkaito has joined #nixos-dev
mkaito has joined #nixos-dev
mkaito has quit [Changing host]
rj has quit [Ping timeout: 240 seconds]
rj has joined #nixos-dev
mkaito has quit [Quit: WeeChat 3.1]
rj has quit [Ping timeout: 240 seconds]
rj has joined #nixos-dev
orivej has joined #nixos-dev
orivej has quit [Ping timeout: 260 seconds]
orivej_ has joined #nixos-dev
<sterni> Ericson2314: is there a better way to refer to the standard compiler which runs on the host platform than targetPackages.stdenv.cc
<sterni> it is a bit irritating, but reasonable, that pkgsHostTarget.stdenv.cc actually runs on the buildPlatform
<Ericson2314> sterni: yeah there isn't, and it is a bummer
<Ericson2314> sometimes I do pkgsXxxYyy.targetPackages.stdenv.cc
<Ericson2314> to get the compiler that runs on Xxx and targets Yyy
<sterni> oh yeah that's nice
<Ericson2314> I did that with rustc, for example
<Ericson2314> when I need all 4
<sterni> or nicer :p
<Ericson2314> yeah it's definitely not nice haha
<sterni> I'm interested if anyone will ever cross compile koka, but it should work with giving it targetPackages.stdenv.cc
<sterni> (it calls the C compiler at run time)
<sterni> I tried to make a test for it as well, but ran into #119885
<{^_^}> https://github.com/NixOS/nixpkgs/issues/119885 (by sternenseemann, 11 minutes ago, open): Processes started by cross emulator can't exec other binaries (?)
rajivr has quit [Quit: Connection closed for inactivity]
<Ericson2314> qyliss: btw the thing I was trying to say the other day about branches
<Ericson2314> if the PR to staging is based on `git merge-base staging master`, then darwin and linux can be tested without extra rebuilding
<sterni> ah that's why your build was faster than mine :p
<sterni> it's still running
rj has quit [Ping timeout: 240 seconds]
<qyliss> Ericson2314: lots of stuff I've been doing depends on other stuff that's only in staging
<qyliss> (on NetBSD)
<Ericson2314> that's true
<Ericson2314> it's also a self-begetting process that as soon as the one thing is based on other staging commits, then other things will also need those commits
<Ericson2314> (and I am not sure the extra work is always worth it) for the lua example one could do `git checkout merge-base; make lua changes: git merge staging`. annoying when making the PR, but makes it easy to regression test lua without rebasing, just checkout commit before the merge
<qyliss> oh that's a good idea
<qyliss> and that merge commit probably disappears if I rebase merge
rj has joined #nixos-dev
<Ericson2314> ah good point, never thought of that
<Ericson2314> yeah it should
* gchristensen wonders if fridh is somehow paying attention without being in the channel
<Synthetica> gchristensen: the real sneaky move is to only interact with the channel by reading the logs
<gchristensen> no joke I have done this before and fridh would join the channel a second later knowing I wanted to talk to them
<Synthetica> the plot thickens
<Ericson2314> qyliss: how does https://github.com/NixOS/nixpkgs/pull/119824 affect the bootstrap?
<{^_^}> #119824 (by alyssais, 22 hours ago, open): netbsd.sys: actually build the kernel
<sterni> gchristensen: yeah, I've observed that as well
<qyliss> Ericson2314: netbsd.headers uses an overridden netbsd.sys, so any change to netbsd.sys will force a rebuild
<Ericson2314> qyliss: oh is it just headers? hmm this might explain some silliness in my PR
<qyliss> I have a WIP patch that makes netbsd.headers make its own derivations of its sources to avoid that, but haven't got it polished yet
<qyliss> Ericson2314: yeah
<qyliss> with my patch my kernel change there caused no other rebuilds
<ma27[m]> niksnut: removed the `-F` flag from https://github.com/NixOS/nix/pull/4688 as suggested. Now eval errors will be forced to be re-evaluated (even if cached) for `nix build` every time.
<{^_^}> nix#4688 (by Ma27, 2 weeks ago, open): libcmd/installables: force re-evaluation of cached failures
cole-h has joined #nixos-dev
<qyliss> Ericson2314: pkg.override
<qyliss> I missed it at first too
<Ericson2314> qyliss: whooooops!
<Ericson2314> sorry
<Ericson2314> thanks
<domenkozar[m]> Might be me :)
<domenkozar[m]> Alright I'll put something together tomorrow (re: gchristensen )
<Ericson2314> qyliss: if you do make a PR with that branch, that will lesson the diff with my old PR
<Ericson2314> (which I keep on rebasing and will split down further until it works)
tomberek has joined #nixos-dev
<qyliss> Ericson2314: the only problem with it now is that I have to set MKKMOD in the new derivation, which I don't really like
<qyliss> I was hoping to get kernel modules working so I wouldn't need to, but haven't managed to yet
<Ericson2314> mmmm
<Ericson2314> qyliss: on closer inspection what I had was just inverting it so the full kernel is the override of the headers
<Ericson2314> so the diff needn't actually be so bad
<Ericson2314> (that helped avoid some infinite recursion)
<qyliss> Ericson2314: oh, I wanted to ask you
rj has quit [Ping timeout: 240 seconds]
<qyliss> I was wondering if we should not bother with netbsd.make/netbsd.makeMinimal, since we already have bmake
<qyliss> (bmake is just a portable version of NetBSD make)
<qyliss> Otherwise we're just ending up with several versions of the same package
<Ericson2314> qyliss: oh i was trying that
<Ericson2314> but i guess i didn't quite finish it because I didn't get things working in generael
plumm has quit [Quit: Textual IRC Client: www.textualapp.com]
<Ericson2314> qyliss: I did split out the system make rules, which can be set with `-m`, but there were some issues with recursive make or something
<Ericson2314> so we might need to patch bmake
rj has joined #nixos-dev
<qyliss> why did you split out the rules?
<qyliss> I noticed that in your PR actually but forgot to ask
<Ericson2314> qyliss: because I think the different bsds have slightly different rules
<Ericson2314> I think i did it to try to use bmake
<Ericson2314> and then i gave up on bmake for the moment and kept the split in hopes of getting back to bmake
<Ericson2314> On a different note, can we use rsync or something or speed up the source merging?
Jackneill has quit [Ping timeout: 240 seconds]
<Ericson2314> unpack phase is so slow right now
<qyliss> dunno
<supersandro2000> what happened to #119887?
<supersandro2000> in the last 30 minutes
<qyliss> I think there are a lot of improvements we could make to netbsd/builder.sh, but I haven't really looked at it yet save for that missing popd
<cole-h> supersandro2000: looks like the submitter deleted their account or something? I get a 404
<cole-h> (for both the PR and the submitter's github profile)
<samueldr> #119887
<gchristensen> deleted accounts become owned by ghost, 404 means github took action I think
<cole-h> oh
<samueldr> yeah
<cole-h> then, maybe a spammer
<supersandro2000> 25 minutes after creating a PR
<hexa-> #119886 is the newest thing I can find
<samueldr> disappeared
<{^_^}> https://github.com/NixOS/nixpkgs/pull/119886 (by OmnipotentEntity, 57 minutes ago, open): katago: 1.8.1 -> 1.8.2
<qyliss> what was #119887?
<samueldr> [13:47:22] [{^_^}] [nixpkgs] @Leeeooo19888 opened pull request #119887 → openarena: Update link from oa_ded to openarena-server → https://github.com/NixOS/nixpkgs/pull/119887
<supersandro2000> even the github api is like: nope, I don't know what you are talking about
<hexa-> someone probably has an email copy :)
<cole-h> that PR title is the exact same as #72824
<{^_^}> https://github.com/NixOS/nixpkgs/pull/72824 (by kevincox, 1 year ago, closed): openarena: Update link from oa_ded to openarena-server
<supersandro2000> hexa wait a second
<supersandro2000> why is that RSS feed showing me PRs from 2017...
<samueldr> using the big internet search engine I can see other contributions from Leeeooo19888
<samueldr> which ended up being disappeared
<gchristensen> https://www.gitmemory.com/Leeeooo19888 it looks like github "fixed" their event API too
<cole-h> yeah, I noticed the same earlier this week, too :(
<qyliss> it's very uncomfortable that github does this...
<cole-h> saw an issue which involved volth, where they suggested something I would have liked to try. previously, could have just checked the events api, but no longer :(
<supersandro2000> https://webcache.googleusercontent.com/search?q=cache:KFldheNT62wJ:https://github.com/d4rken/sdmaid-public/issues/4777+&cd=1&hl=en&ct=clnk&gl=de
<supersandro2000> https://webcache.googleusercontent.com/search?q=cache:obcHkx3rjcQJ:https://github.com/fastai/fastai/issues/3317+&cd=1&hl=en&ct=clnk&gl=de
<hexa-> so, firefox-esr 78.15.0, the last esr release of the 78 series, will be release around 2021-09-21
<supersandro2000> looks like a spam account
<hexa-> and firefox-esr 91.0 will be released ~2021-07-27
<hexa-> is bumping esr this way fair game in a stable release? cc jonringer
<samueldr> hexa-: what's upstream's suggestions?
<samueldr> they probably have guidelins
<samueldr> guidelines*
<samueldr> is it expected that distros ugprade to the next ESR asap?
<gchristensen> browser bumps are always okay
<hexa-> I expect that to be the case
<samueldr> since it's a browser, I kind of assume it would be fine to upgrade it in still-supported stable NixOS
<hexa-> given that security advisories appear monthly for both esr and mainline
Jackneill has joined #nixos-dev
<samueldr> the one neat thing is that we could wait for, let's say, a month for the esr bump in stable
<samueldr> to see if people on unstable get bit by things
<hexa-> or package both at the same time, and let users switch between firefox-esr-78 and firefox-esr-91
<hexa-> and default firefox-esr to firefox-esr-78 for the time being
<lukegb> mmm
<lukegb> and then mark firefox-esr-78 as insecure whenever we need to do that :p
<niksnut> ma27[m]: thanks, merged!
<hexa-> yeah, something like that, sgtm
<samueldr> I don't think having both for just two months is really worth it
plumm has joined #nixos-dev
<samueldr> if the overlap spanned a release cycle~ish, of let's say 6 months, maybe yes
<hexa-> ok
tomberek has quit [Ping timeout: 240 seconds]
rj has quit [Ping timeout: 240 seconds]
rj has joined #nixos-dev
tomberek has joined #nixos-dev
rj has quit [Ping timeout: 240 seconds]
<Synthetica> Why is it fetchFromGitHub (with a From and with the official capitalization) yet fetchPypi (without From and with unofficial capitalization)
<LinuxHackerman> Because nobody thought about consistency with existing stuff when implementing it.
<Synthetica> Is this something that can still be changed?
* Synthetica remembers that one time I was new to nix and wanted to change a pretty big thing and people actually went with it
<LinuxHackerman> maybe with legacy aliases. Otherwise downstreams will hate us :D
<LinuxHackerman> but yeah I wouldn't oppose that
<sterni> Synthetica: we could probably makes this more consistent and add aliases for it
<sterni> and phase them out slowly
rj has joined #nixos-dev
<LinuxHackerman> of course, there are lots of bike sheds to paint along the way to getting something more uniform
<Synthetica> So something like alias -> warning -> remove over a few releases?
<Synthetica> LinuxHackerman: Well I don't care which color the bikeshed has, as long as it's one color ;)
<LinuxHackerman> I don't see any reason not to go straight to a warning alias
<sterni> Synthetica: yeah probably rename + add an alias, remove all old usage in nixpkgs (so allowAliases = false still evals) and add a warning
<sterni> and then we could remove it in 21.11 theoretically
<Synthetica> Might actually submit a PR for that
<sterni> similar to how it has been done for stdenv.lib essentially
<supersandro2000> ^ yeah
<supersandro2000> fetchFromPypi makes more sense but it is longer
rj has quit [Remote host closed the connection]
rj has joined #nixos-dev
rj has quit [Ping timeout: 240 seconds]
<{^_^}> #119896 (by Synthetica9, 1 minute ago, open): treewide: rename fetchPypi -> fetchFromPyPI
<Synthetica> It's late here tho, so I'll get back on it tomorrow
rj has joined #nixos-dev
midchildan has quit [Ping timeout: 250 seconds]
angerman has quit [Ping timeout: 250 seconds]
teehemkay has quit [Ping timeout: 250 seconds]
teozkr_ has quit [Read error: Connection reset by peer]
gleber has quit [Read error: Connection reset by peer]
cbarrett has quit [Ping timeout: 245 seconds]
c00w has quit [Read error: Connection reset by peer]
vdemeester has quit [Read error: Connection reset by peer]
chrisaw has quit [Read error: Connection reset by peer]
zhaofeng_alt has quit [Read error: Connection reset by peer]
jefferai has quit [Read error: Connection reset by peer]
teozkr_ has joined #nixos-dev
s1341_ has quit [Ping timeout: 260 seconds]
gleber has joined #nixos-dev
teehemkay has joined #nixos-dev
carter has quit [Ping timeout: 245 seconds]
nh2 has quit [Ping timeout: 245 seconds]
c00w has joined #nixos-dev
jefferai has joined #nixos-dev
zhaofeng_alt has joined #nixos-dev
angerman has joined #nixos-dev
vdemeester has joined #nixos-dev
chrisaw has joined #nixos-dev
midchildan has joined #nixos-dev
cbarrett has joined #nixos-dev
nh2 has joined #nixos-dev
s1341_ has joined #nixos-dev
carter has joined #nixos-dev
<cole-h> when are we renaming `builtins.fetchGit` and `builtins.fetchTarball`? ;)
rj has quit [Ping timeout: 240 seconds]
pmy has quit [Ping timeout: 240 seconds]
rj has joined #nixos-dev
pmy has joined #nixos-dev
__monty__ has quit [Quit: leaving]
rj has quit [Ping timeout: 240 seconds]
rj has joined #nixos-dev
matthewcroughan has joined #nixos-dev
<matthewcroughan> Has anybody read the following PR? https://github.com/NixOS/nixpkgs/pull/105877
<{^_^}> #105877 (by CohenCyril, 19 weeks ago, merged): coqPackages: refactor
<matthewcroughan> It looks like they made their own fetcher to get around errors (with fixed output derivations?) in the grahamcofborg-eval bot.
<matthewcroughan> The coq derivation now has anti-patterns in it, such as removal of `src =` entirely, in favor of some custom ecosystem-specific logic.
<matthewcroughan> As well, it also refers to top-level packages in the intputs of the derivation, such as `ocamlPackages_4_05` instead of just `ocamlPackages`
<matthewcroughan> Check the diff between 20.09 and nixos-unstable. This derivation looks like it is getting more bespoke, less overridable over time.
<matthewcroughan> If I wanted to override the version of coq, coq-version = "V8.13.2" works, coq-version = "8.13.2" does not. Why? because it prepends V here https://github.com/NixOS/nixpkgs/blob/nixos-unstable/pkgs/applications/science/logic/coq/default.nix#L48
rj has quit [Ping timeout: 240 seconds]
<matthewcroughan> For example, do `grep -r '"V${v}"'` on nixpkgs, you'll see that coq is the only ecosystem that uses this format, meaning I would have to research coq and use coq specific patterns in my overrides, really annoying.
rj has joined #nixos-dev
<sterni> that is unfair tbh
<sterni> basically every ecosystem has specifics concerning overrides
<sterni> almost every language specific ecosystem is incompatible with overrideAttrs
<MichaelRaskin> And really, saying that overrides require knowing how does the expression work and how does upstream do the things makes me think «Yes, and?»
<sterni> overrides are in a bit of a state in general: derivation specific, not discoverable (you have to read the source), unstable
<sterni> this should maybe be improved, but would be a huge effort
<sterni> and it would probably start with making these things more discoverable by documenting them
<sterni> I had an idea towards that I need to play around with
<gchristensen> I find it a bit concerning, and imvho significant deviation like this deserve a good bit of scrutiny
<sterni> also they don't circumvent fixed output derivations, I'm pretty sure fetchTarball is only there for convenience
<sterni> all derivations specify a sha256 in the PR and thus use fetchzip
<sterni> gchristensen: the thread has 121 comments from people apparently actively using coqPackages and maintaining it
<sterni> matthewcroughan: I'm not sure what your point about ocamlPackages is, they need different versions of the set to compile different versions of the coq compiler it looks to me (there is a lot of changes in OCaml between versions)
<matthewcroughan> sterni: just bringing it to attention for further scrutiny, do not shoot me :P
<matthewcroughan> Just look at the derivation in 2003.
<matthewcroughan> It has gotten more conditional over time. Should it really be the job of Nix to constrain the mixing of versions and ocaml like this?
<matthewcroughan> Mixing and matching coq and ocaml is quite hard with the derivation in its current state.
<matthewcroughan> sterni: what do you think about the removal of `src =`? It makes it quite hard to override, from my perspective, since all the other packages in nixpkgs let you do this.
<matthewcroughan> If you make it a `.override`, you've basically given every package the freedom to do their own strangeness.
<matthewcroughan> coq.override { version = "V8.13.2" } seems to work, whereas coq.override { version = "v8.13.2" } does not for example. Maybe this is just caching.. one sec.
<matthewcroughan> Yes, this is the case.
<matthewcroughan> So instead of some standard overriding structure, overriding the attrs of `src` the package `coq` is now unable to be overriden in the same way you would expect of most other nixpkgs.
<matthewcroughan> sterni: have you managed to figure out why they use their own "meta-fetcher" instead? I could not figure that out.
<matthewcroughan> Actually discovering the correct format to pass to `version` in this override was pretty difficult, and still required reading the source.
<matthewcroughan> Not to mention the fact that if you override this, it will still tell you it's getting the coq-dev derivation, it's confusing to me.
<matthewcroughan> the version it is fetching is different from the derivation name, there is a disconnect, I think this has to be an anti-pattern.
<MichaelRaskin> That's not that rare, actually
<matthewcroughan> It just seems to me that this derivation is complex, for seemingly no reason.
<MichaelRaskin> It is not derivation, singular
<matthewcroughan> In the git history, the default.nix for coq was simple, I have tried to follow the reasoning behind its growing complexity and cannot understand it.
rj has quit [Ping timeout: 240 seconds]
<MichaelRaskin> Did it have as many versions supported and add-on-packages provided?
<matthewcroughan> I'd be happy if someone could explain the reason meta-fetch exists. https://github.com/NixOS/nixpkgs/blob/nixos-unstable/pkgs/build-support/coq/meta-fetch/default.nix
<matthewcroughan> As far as I can tell, it reinvents what existing fetchers do, I do not see what it does differently.
<MichaelRaskin> Pretty sure the answer is »
<MichaelRaskin> «does not require to manually specify different things for different upstreams»
<matthewcroughan> Well, I see that it actually fetches many different kinds of things, in one fetcher, dependant on argument.
<matthewcroughan> MichaelRaskin: What does that mean? "different things"?
<MichaelRaskin> Which is pretty natural if you have some kind of an upstream list of things
<matthewcroughan> what are these different things you're referring to though?
<matthewcroughan> you mean the different formats? like tarball, git, svn, etc/
<MichaelRaskin> There is a ton of add-on paclages
<matthewcroughan> Yes, but can you state what is meant by "does not require to manually specify different things for different upstreams" and give me an example of 'different things'
<MichaelRaskin> I do not know how exactly the upstream index of addon-packages looks like
rj has joined #nixos-dev
<matthewcroughan> Yeah, so I'm still not sure why meta-fetch needs to exist, or what it does differently from existing fetchers. I am curious, because as far as I can tell it exists because of some misunderstanding.
<MichaelRaskin> But meta-fetch looks like it is written to reduce effort when mass-translating from some kind of upstream index of add-on packages
<sterni> well meta fetch is a unified interface for fetching coqPackages sources
<sterni> seems to be designed to be as convenient as possible mostly
<sterni> also it supports the multiple version and version constraint resolving that mkCoqDerivation can do
<sterni> this would just be extremely verbose with normal fetchers
<matthewcroughan> sterni: thanks for that
<matthewcroughan> What do you think about the removal of `src =` then?
<matthewcroughan> Necessary evil for the coq ecosystem?
<MichaelRaskin> It looks like it inherits src just fine
Synthetica has quit [Quit: Connection closed for inactivity]
<MichaelRaskin> If one has more than twenty versions supported, of course src will have to be generated
cjb has joined #nixos-dev
supersandro2000 is now known as Guest61649
Guest61649 has quit [Killed (hitchcock.freenode.net (Nickname regained by services))]
supersandro2000 has joined #nixos-dev
rj has quit [Ping timeout: 240 seconds]