9fans archive / 1996 / 11 / 53 /    prev next

From: Nigel Roles ngr@sym...
Subject: unmounting
Date: Thu, 21 Nov 1996 10:00:31 +0100

My reading of the bind(1) page suggests that

bind -a '#|' /net
unmount '#|' /net

ought to bind a pipe into /net, and then remove it. Unfortunately, 
the error is

unmount: not in union

Any elucidations gratefully received.


Nigel Roles