[Bug 79355] Re: GNU time command not accepting options

2007-01-15 Thread didier
So I reject this bug, thanks. ** Changed in: time (Ubuntu) Status: Needs Info => Rejected -- GNU time command not accepting options https://launchpad.net/bugs/79355 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

[Bug 79355] Re: GNU time command not accepting options

2007-01-15 Thread Andy
No, when I use /usr/bin/time all works ok. So this is working ok. -- GNU time command not accepting options https://launchpad.net/bugs/79355 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

[Bug 79355] Re: GNU time command not accepting options

2007-01-14 Thread didier
Hi, is it true when you use /usr/bin/time? Bash has it's own version for time. ** Changed in: time (Ubuntu) Status: Unconfirmed => Needs Info -- GNU time command not accepting options https://launchpad.net/bugs/79355 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://list