Skip to content

Cannot use command time in pipeline #9985

@llenck

Description

@llenck
  • fish, version 3.6.1
  • current arch linux (Linux arch-lia 6.4.10-arch1-1 #1 SMP PREEMPT_DYNAMIC Fri, 11 Aug 2023 11:03:36 +0000 x86_64 GNU/Linux)
  • sh -c 'env HOME=$(mktemp -d) XDG_CONFIG_HOME= fish makes no difference

When running command time true, fish runs /usr/bin/time, as I'd expect. However, when running true | command time true, I get:
tmp

I believe this is a bug, as I'd expect fish to run time as found in PATH.

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething that's not working as intended

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions