Tobias Dünser
Tobias Dünser
Minimum Example: https://github.com/prog-r-amer/mill-multi-module-maven-issue
They all inherit from the parent file anyway. So it's just a matter of moving out parent/pom.xml in the root. Gotta try it with the real project, but my little...
The unmounting failed, and I deleted the folder with sudo rm -rf
Maybe something that checks if / is shared via something like `findmnt -o PROPAGATION /`, but that might be too specific and only to my specific usererror. Or otherwise just...