Careful, not always -- if they ever work with a pager they need to be able to *d...

		bravetraveler on Nov 3, 2022 \| parent \| context \| favorite \| on: Linux boot partitions and how to set them up Careful, not always -- if they ever work with a pager they need to be able to detect redirection