You write:
\kill can not invoke /bin/kill while \time invoke /usr/bin/time
time is flagged as a shell keyword, kill as a shell builtin.
Please use command time or command kill if you want to call the
command. Not sure, if that is a bug at all.
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
Matthias Klose wrote:
You write:
\kill can not invoke /bin/kill while \time invoke /usr/bin/time
time is flagged as a shell keyword, kill as a shell builtin.
Please use command time or command kill if you want to call the
command. Not sure, if that is a bug at all.
Matthias is correct
Package: bash
Version: 3.0-15
Severity: normal
Hello
\kill can not invoke /bin/kill while \time invoke /usr/bin/time
$ kill
kill: usage: kill [-s sigspec | -n signum | -sigspec] [pid | job]... or kill -l
[sigspec]
$ \kill
kill: usage: kill [-s sigspec | -n signum | -sigspec] [pid | job]... or
3 matches
Mail list logo