Your message dated Sat, 8 Feb 2014 18:45:46 -0700
with message-id <[email protected]>
and subject line Re: Bug#388458: time: Time does not parse its parameters
has caused the Debian Bug report #388458,
regarding time: better shell built-in warning in man page
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
388458: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=388458
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: time
Version: 1.7-23
Severity: wishlist
One of the standard problems people run into with the time utility is
that most shells have a built-in of the same name that's run instead.
There is a warning in the time man page about this already, but it's
the last paragraph of EXAMPLES, only mentions bash, and is easy to miss.
Could you add a paragraph in the DESCRIPTION section where it's more
visible and mention that most interactive shells (tcsh at least as well
as bash, and I expect zsh as well although I've not tested) have a
built-in that overrides this command unless it's invoked via an explicit
path?
Thanks! Let me know if you'd be interested in a patch and I'll try to
find a few moments to put one together.
-- System Information:
Debian Release: lenny/sid
APT prefers testing
APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental')
Architecture: i386 (i686)
Kernel: Linux 2.6.26-1-686 (SMP w/1 CPU core)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash
Versions of packages time depends on:
ii libc6 2.7-13 GNU C Library: Shared libraries
time recommends no packages.
time suggests no packages.
-- no debconf information
--- End Message ---
--- Begin Message ---
I have read through this bug log carefully and I believe that it can
be closed. A summary of the events of the bug log are:
Martin Jambor wrote:
> jamborm@cetus:~/tmp time -f "%e" bash < /dev/null
> bash: -f: command not found
Bas Kloet wrote:
> This is not a bug in the debian `time' program , but you get this
> problem when you use Bash (or another shells) built-in time command.
> Use /usr/bin/time and you will see that all works as expected.
Tollef Fog Heen wrote:
> reassign 388458 bash
Neil Moore wrote:
> ...explanations and descriptions concerning time keyward in bash...
Jonathan Nieder wrote:
> reassign 388458 time 1.7-21
> severity 388458 minor
> ...
> Reassigning to time, so the manual can be updated to warn that
> "time" must be quoted to avoid shells' builtin time commands.
Tollef Fog Heen wrote:
> It already does:
>
> Users of the bash shell need to use an explicit path in order to run
> the external time command and not the shell builtin variant. On system
> where time is installed in /usr/bin, the first example would become
> /usr/bin/time wc /etc/hosts
>
> (arguably, it shouldn't say «bash» there, but that's a really minor
> thing.)
And the man page does say this. Perhaps it should say this more
strongly in a WARNINGS section. I am thinking about it. But for the
purposes of this bug it is already there. :-)
Bob
signature.asc
Description: Digital signature
--- End Message ---
