stdin=$(cat) echo "$stdin"
#!/bin/bash if [[ -p /dev/stdin ]] then PIPE=$(cat -) echo "PIPE=$PIPE" fi echo "ARGS=$@"