login
Header Space

 
 

Re: Alternative to linux echo command

Score:
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]
Date: Wednesday, May 26, 1993 - 8:19 pm

In <SCT.93May25005444@ascrib.dcs.ed.ac.uk>, Stephen Tweedie writes:


Yes. And /usr/bin/echo is a simple script:

    #!/bin/sh
    echo $*

I think invoking the overhead of a bash incarnation for something as
trivial as "echo" is a bad idea.

Currently I have a stand-alone BSD echo (no-brainer, doesn't know any
options other than -n) as /usr/bin/echo, and I'll keep looking for a
real echo.

-- 
Christian 'naddy' Weisgerber, Germany           naddy@mips.ruessel.sub.org
                A public service message: +++ATS2=128&WO
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]

Messages in current thread:
Re: Alternative to linux echo command, Christian Weisgerber, (Wed May 26, 8:19 pm)
speck-geostationary