On Mon, 30 Dec 1996, pjh wrote: > if you are on a unix > cat /dev/null > mud/lib/etc/players Its actually cat mud/lib/etc/players >/dev/null if you dont like the rm [remove/delete] command. If you did the cat /dev/null >blehfile, then you got an interesting file. Erik Niese-Petersen AKA Quint the typo dane +-----------------------------------------------------------+ | Ensure that you have read the CircleMUD Mailing List FAQ: | | http://cspo.queensu.ca/~fletcher/Circle/list_faq.html | +-----------------------------------------------------------+
This archive was generated by hypermail 2b30 : 12/18/00 PST