Homepage
Recent Changes
Search:
History of 2020-11-09 A nice tip about Bash redirection
2020-11-09
21:20 UTC
Revision 1
. . . .
mbork
–
Some time ago I had a minor epiphany about Bash redirection. I needed to perform the same command for various files, and each time redirect its results to some file.