echo -e "\noutput\n.psc*\n.purs*\.spago" >> .gitignore
tee -a .gitignore <<'EOF' output .psc* .purs* .spago EOF
cat <<'EOF' >> .gitignore output .psc* .purs* .spago EOF