On 10/10/18 6:52 PM, Bob Proulx wrote:
> Chet Ramey wrote:
>> b...@feusi.co wrote:
>>> The thing I noticed is that when setting a variable and then running the
>>> command "time", bash reports "command not found". For example, the
>>> command:
>>>
>>> TEST=1 time ls
>>>
>>> Results in "bash: time: command not found"
>
> That would work if you installed the GNU time package.
Maybe. Maybe not. It depends on $PATH. It's unlikely that his system
does not already have a `time' command, so if it's not found, it must
not be in $PATH.
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU c...@case.edu http://tiswww.cwru.edu/~chet/
