By popular request, the comment now states: # /.dev is used by /sbin/MAKEDEV to access the real /dev directory. # if you do not like this then rmdir /.dev/ after unmounting it.
And for the benefit of another class of users who run commands without
understand their consequences, I added this as well:
warn_if_interactive() {
TTY=$(my_tty)
if [ -z "$TTY" -o "$TTY" = "/dev/console" ]; then
return
fi
printf "\n\n\nIt has been detected that the command\n\n\t$0 $*\n\n"
printf "has been run from an interactive shell.\n"
printf "It will probably not do what you expect, so this script will wait\n"
printf "60 seconds before continuing. Press ^C to stop it.\n"
printf "RUNNING THIS COMMAND IS HIGHLY DISCOURAGED!\n\n\n\n"
sleep 60
}
--
ciao,
Marco
signature.asc
Description: Digital signature
