Remove the unused admin scripts - #6750
Conversation
d48f713 to
7967f02
Compare
|
I can see why the scripts can go, but what’s wrong with |
is this used? |
|
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 dra27/opam-repository@23827c1), 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 |
7967f02 to
2dc1548
Compare
| @@ -1,14 +0,0 @@ | |||
| #use "topfind";; | |||
There was a problem hiding this comment.
I don't know if @AltGr still uses this, but perhaps it could just be renamed to init.ml rather than deleted?
There was a problem hiding this comment.
This ocamlinit was removed from root directory and moved here (cf #5526). I think we should keep, maybe elsewhere (shell ?) because it can be useful.
2dc1548 to
3be8b8f
Compare
rjbou
left a comment
There was a problem hiding this comment.
I think ocamlinit should stay, maybe somewhere else (that's the requested change).
For other scripts, I'm in favor or not removing them all. Even if hey are not up-to-date, they can be helpful the day we need them, and it will be the occasion to update them. The one i'm thinking about are : couverture.ml, cudf-debug.ml extract-mini-repository.
| @@ -1,14 +0,0 @@ | |||
| #use "topfind";; | |||
There was a problem hiding this comment.
This ocamlinit was removed from root directory and moved here (cf #5526). I think we should keep, maybe elsewhere (shell ?) because it can be useful.
No description provided.