On Thu, 2 Jan 1997, AxL wrote: > > > > > if you are on a unix > > > > > cat /dev/null > mud/lib/etc/players > > > This will cat 'null' into the file called 'players' > > > > > > > cat mud/lib/etc/players >/dev/null > > > This will cat players to nowhere. Not remove it. > > Yipes.. My fault. meant mv not cat. > > > > God this thread is getting silly. :) But I would tend to think > > cp /dev/null mud/lib/etc/players > > would work just fine, no? I don't see the need for redirection > of any of the files in this case. ...and we're not doing "rm lib/etc/players" because...? -- Daniel Koepke dkoepke@california.com Forgive me father, for I am sin. +-----------------------------------------------------------+ | 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