How does "cat << EOF" work in bash? How does "cat << EOF" work in bash? linux linux