https://www.mangaloremirror.com/introduction-to-named-pipes-on-bash-shell/