Remove the unused admin scripts

Open kit-ty-kate opened this issue 4 months ago • 3 comments

Oct 17 '25 17:10 kit-ty-kate

I can see why the scripts can go, but what’s wrong with opam-admin.top?

Oct 18 '25 00:10 dra27

but what’s wrong with opam-admin.top?

is this used?

Oct 20 '25 22:10 kit-ty-kate

I have used it in the past (e.g. https://github.com/dra27/opam/blob/cb298a00b78399af468217718a507f8824d3449a/admin-scripts/ocaml_windows.ml which produced the mass updates in https://github.com/dra27/opam-repository/commit/23827c1cf0244592569fa7ca9a5444a613f549b4), I’ve pointed various people at it in the past as an alternative to horrendously inefficient and fiddly sed/opam-ed scripts, and as it happens I was expecting to use it this week to prototype a solving analysis on packages - so, yes 🙂

Its iter_packages mechanism is a very useful method for doing mass updates to repositories - if we haven’t added another mechanism, why remove it? (I was curious as to whether its build had got in the way or made something awkward)

Oct 21 '25 05:10 dra27