[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: what is /.udev for ?



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

Attachment: signature.asc
Description: Digital signature


Reply to: