Re: [9fans] PUSH sources for Plan 9

[Anthony Sorace]

I've not looked closely at push, but I assume it uses the same /rc/lib/rcmain 
as, well, rc. See that file for the trick: it sets the prompt to that if your 
running a $O.out, so you know.

anth