Skip to content

Space pipe (aka the Arkanoïd bug)

Created by: Mojo4242

Space matters with pipe, it probably should not:

Reproduction

ion:file:/root# echo 12345 | cat
12345
ion:file:/root# echo 12345 |cat
12345
ion:file:/root# echo 12345| cat

ion:file:/root#

Expected behavior

ion:file:/root# echo 12345 | cat
12345
ion:file:/root# echo 12345 |cat
12345
ion:file:/root# echo 12345| cat
12345
ion:file:/root#

rustc -V :

rustc 1.17.0-nightly (29dece1c8 2017-02-08)

rustup show :

Default host: x86_64-unknown-linux-gnu

nightly-x86_64-unknown-linux-gnu (default)
rustc 1.17.0-nightly (29dece1c8 2017-02-08)

git rev-parse HEAD :

9ea162c920a9a65719754482fd59121fe74175dc

qemu-system-x86_64 -version :

QEMU emulator version 2.5.0 (Debian 1:2.5+dfsg-5ubuntu10.8), Copyright (c) 2003-2008 Fabrice Bellard

uname -a :

Linux 74ae79d00b85 4.9.8-moby #1 SMP Wed Feb 8 09:56:43 UTC 2017 x86_64 x86_64 x86_64 GNU/Linux