From mboxrd@z Thu Jan  1 00:00:00 1970
Date: Thu, 21 Nov 1996 10:00:31 +0100
From: Nigel Roles ngr@symbionics.co.uk
Subject: unmounting
Topicbox-Message-UUID: 527c952a-eac8-11e9-9e20-41e7f4b1d025
Message-ID: <19961121090031.rNhpjxmwL2m5ZJSA2k5nsLRNqW242B8hIniQ3D2qWx8@z>

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