On Sun, 2012-03-11 at 12:15 -0500, layr wrote: > What is the type manpage for? Can's see it's relevance to this issue. > Anyway, man builtins returned this for type: > > Martin, could you share your .deb package? Perhaps the fault lies > simply in my compilations. > That's impossible: I run Fedora distros, which use .rpm packages. Martin