#!/bin/rc
# unmount ext2 formatted (linux) disk partition from /n/linux
# Thu Dec 9 13:49:09 EST 2004 Peter A. Cejchan <cej@gli.cas.cz | pac7@post.cz | pac@plan9.cz>

unmount /n/linux
#-eof