Symbol: pipefile
usr.bin/tip/cmdtab.c
48
{ '|', NORM, "pipe remote file", pipefile },
usr.bin/tip/tip.h
281
void pipefile(char);