Hi bash allows to pipe to a file named "nul" e.g.: echo test > nul
bash-2.05b$ ls -l total 1 -rwxrwxrwx 1 pfeiffer mkgroup- 4 Jul 2 10:00 nul The problem is that this file can not be deleted. I was not able to delete it using the "rm" command in bash, or "del" in a windows command line or the windows explorer. Any idea how this file can be deleted, without booting an alternative OS? Regards, Michael -- Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple Problem reports: http://cygwin.com/problems.html Documentation: http://cygwin.com/docs.html FAQ: http://cygwin.com/faq/
