** Changed in: gnubash
Status: New = Fix Released
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/238061
Title:
time: Time does not parse its parameters
To manage notifications about this bug
** Changed in: gnubash
Status: Unknown = New
--
time: Time does not parse its parameters
https://bugs.launchpad.net/bugs/238061
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
You can read the debian bug report page for details. But a simple
workaround is to use the command /usr/bin/time instead of just time.
If it is not corrected, it would at least be nice to mention this in the
man page.
--
time: Time does not parse its parameters
Hi Marco,
thanks for taking the time to report this issue.
This behavior - annoying as it may be - is however entirely expected.
Quoting from the bash manpage:
Pipelines
A pipeline is a sequence of one or more commands separated by the char‐
acter |. The format for a pipeline
Thanks a lot for your help Mika.
I guess I missed that part of the man page. Sorry, my mistake.
--
time: Time does not parse its parameters
https://bugs.launchpad.net/bugs/238061
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--