関連ワード:  bash pipe buffer size    linux pipe buffer size    bash set pipe buffer size    linux increase pipe buffer size    linux named pipe buffer size    linux change pipe buffer size    linux set pipe buffer size    linux default pipe buffer size    linux pipe max buffer size    linux get pipe buffer size