[PATCH] umount: add a umount utility

This adds a umount utility that implements most of the functions that the Linux umount utility provides, especially that subset that is used by the Debian package initscripts. * utils/umount.c: New file. --- utils/Makefile | 10 +- utils/umount.c | 358 +

umount.patch update

Hi, this is a drop-in replacement for the umount.patch currently shipped with the Debian hurd package. I've implemented the '-d' switch that is used in Debians shutdown procedure. I also fixed minor stylistic issues and the formatting. Justus