#!/bin/sh
: ${1:?usage: "$0" path}
path="$1"
umount "$path"/dev/pts