7 Aug
2007
7 Aug
'07
7:58 p.m.
On 07/08/07, Brad Miller bmiller@luther.edu wrote:
I'm amazed that /usr/bin/type is not part of 10.3.
'type' is a bash builtin, so you can just change
os.system('/usr/bin/type ...
to
os.system('type ...
Robin