sherlocode icon indicating copy to clipboard operation
sherlocode copied to clipboard

Sherlodune instance?

Open mbarbin opened this issue 8 months ago • 3 comments

Hi! First and foremost, thanks for a fantastic tool!

I am not sure if this is the right place. Is the sherlodoc project where all instances and declinations of the hosted services are developed? (sherlocode, sherlodoc, sherlocoq).

I was wondering about how a particular dune lang construct was used in the wild yesterday, and suddenly I found myself looking for a sherlodune instance.. Would that make sense? (an instance where you can look through the dune files of published OCaml projects). Note this is just a thought, I have no idea how much work or resources this would entail, and how useful that would really be.

Thanks!

mbarbin avatar Apr 04 '25 11:04 mbarbin

I agree it would be useful, but it probably more related to sherlocode than sherlodoc

EmileTrotignon avatar Apr 10 '25 08:04 EmileTrotignon

Ah, thanks, I missed that other project. @art-w given that you own both, I'm hoping you can use special admin powers to migrate the issue from one to the other (is that supported by GitHub?). Otherwise I'm happy to create a new one. Thanks @EmileTrotignon !

mbarbin avatar Apr 10 '25 08:04 mbarbin

(transferred) That would be nice indeed, thanks for the report! Someone previously asked if it would be possible to grep .c files, so it would make sense to have a file extension filter... I'm not sure when I'll be able to do this though, I really need to find some time to update sherlocode, it's collecting dust :/

art-w avatar Apr 10 '25 09:04 art-w