> Should history work on /env, too?
> 
> Dump is tool for a specific type of file server. There's nothing
> broken here, move along ...

what's the fileserver behind /bin?

- erik

Reply via email to