Eli Schwartz <eschwa...@archlinux.org> wrote:
> Useful replacements:

Thank you.  Yes, I have to pick up habit to post known user-level workarounds 
along with bugreports.

> If you need to ensure a disk executable is used,

Of course.  Why ‘command’ otherwise?

> $ "$(type -P cat)" &
> [1] 2092352
> $ ps --pid $! --ppid $!
>     PID TTY          TIME CMD
> 2092352 pts/42   00:00:00 cat

Also:

        $ (exec cat) &
        [1] 31427
        $ ps --pid $! --ppid $!
          PID TTY          TIME CMD
        31427 pts/3    00:00:00 cat

Which, IIUC, is somewhat closer to what other shells do, though I cannot come 
up with any idea what practical difference it might make.

Attachment: signature.asc
Description: PGP signature

Reply via email to