On Thu, Jun 06, 2019 at 02:59:47PM +0200, Karel Zak wrote: > On Tue, Jun 04, 2019 at 01:51:58PM +0200, Harald Dunkel wrote: > > Hi folks > > > > by accident I pasted > > > > umount ls -al /mnt/ > > > > into bash. My bad. AFAICT /proc was umounted immediately, the > > rest died slowly. Don't try this at home. > > Fixed ... new version: > > # umount ls -al /mnt/ > umount: unexpected arguments > Try 'umount --help' for more information. Hmm... Should we also prevent a lazy unmount of the root file system? - Ted
