broken pipe message with setopt PRINT_EXIT_VALUE

[Samuel Bancal <Samuel.Bancal@epfl.ch>]

[-- Attachment #1: Type: text/plain, Size: 1422 bytes --]

Dear zsh workers,

I'm using zsh on Ubuntu 20.04 (and oh-my-zsh).

When running the following command, I get the following error.

< /dev/urandom tr -dc _A-Z-a-z-0-9 | head -c 32; echo;
XKCxcd1QQ8otBre05qUDrvw2GFIdpYNr[1]    97774 broken pipe  tr -dc 
_A-Z-a-z-0-9 < /dev/urandom |
        97775 done         head -c 32

The expected output is :

< /dev/urandom tr -dc _A-Z-a-z-0-9 | head -c 32; echo;
XKCxcd1QQ8otBre05qUDrvw2GFIdpYNr

After investigations ( https://stackoverflow.com/q/67738240/446302 ) it 
seems to be related to the fact that I have set the option setopt 
PRINT_EXIT_VALUE in my ~/.zshrc

Steps to reproduce :

  * install Ubuntu 20.04
  * sudo apt install zsh
  * zsh # populate your ~/.zshrc with recommended configuration
  * < /dev/urandom tr -dc _A-Z-a-z-0-9 | head -c 32; echo;
    # that works as expected -> give a random 32 chars
  * setopt PRINT_EXIT_VALUE
  * < /dev/urandom tr -dc _A-Z-a-z-0-9 | head -c 32; echo;
    # expected output + a broken pipe error message

What do you think of it ?

Regards,
Samuel Bancal


-- 
*Samuel Bancal*
/IT Eng /
*ENAC-IT *
/GR A0 464/
EPFL

ENAC-IT is opening a new branch IT4Research 
<https://www.epfl.ch/schools/enac/about/data-services-en/> /to better 
support our labs in leveraging data in their research! Contact us with 
any questions related to data management, / /data valorization, data 
science and computational tools.
/


[-- Attachment #2.1: Type: text/html, Size: 4587 bytes --]

[-- Attachment #2.2: nkpjlfilkffncmgb.png --]
[-- Type: image/png, Size: 984 bytes --]