Yes this is the issue. Doing: alias time=/usr/bin/time
Will override bash's default time and use the binary... Could be added to the default profile or something? -- time command doesnt recognize it's own arguments https://bugs.launchpad.net/bugs/660655 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
