broken pipe message with setopt PRINT_EXIT_VALUE

[Samuel Bancal <Samuel.Bancal@xxxxxxx>]

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

ENAC-IT is opening a new branch IT4Research 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.