ecerulm
-
Posts
1 -
Joined
-
Last visited
ecerulm's Achievements
Helping Hand (3/5)
0
Reputation
-
The command I use is /bin/bash -c "/usr/bin/man -S `echo $$HOST$$` `echo $$PATH$$|tr -d /`" since $$HOST$$ is set to the man page section and $$PATH$$ is equal to /command (so the leading / must be stripped )