Hi,

In this thread, a user has reported that the compilation is super slow using dune. After many steps it was determined that it's because dune was being run in $HOME and scanning the whole directory, taking several minutes to complete.

That's what dune is designed to do, but it's not very easy to debug, and it's not super user friendly. We can probably be a bit better at reporting this kind of issues.

Suggestions:

• emit a warning when $PWD is $HOME (maybe only when creating dune-project?)
• display $PWD with a note when creating dune-project
• emit a warning when a large directory hierarchy is scanned with no dune files anywhere

This should make dune more user friendly in this case.