2021/10/19

that you can write multiple lines to a file using a cat > path/to/file with argument, like

cat > /tmp/file
subsequent typed input
is still stdin, which is being read by `cat`
and so will be written to the file 
^C # cancels `cat` writing to the file