How about we all try a slightly less serious discussion about tooling for once. I invite you to respond with a list of most desired features, most hated bugs, and anything else you might like to see dune do differently.
To keep things somewhat on topic, let’s avoid complaints that aren’t specific enough. For example, if you think dune is too slow, describe which commands you would like optimized. If you don’t like the manual, point out the specific questions that aren’t good enough. Let’s also steer away from enormous projects such as rewriting the entire frontend to use your configuration language.
Given enough user support and a little bit of luck, the dune team might fix these issues in 2023.
Cheers.
14 posts - 11 participants