Even though it's not supposed to be my day job, I've ran `df |grep -v <super long list` hundreds of times in the past year, yet it never occurred to me that I could try and find a better tool.
There's a lot of Unix/Linux stuff that I wish I could UNlearn, I'm aware of other tools but muscle memory keeps me using worse things.
(honestly, I also feel this way about vim as well as 'writing in cursive')
I still `cat foo | grep bar` instead of `grep foo bar`
I believe "useless use of cat" is FAR MORE useful than what the ultra-nerds say; I could care less about "saving a few characters."
The mental model of the pipeline --in one end and out the other -- is entirely too usefully intuitive and way better than some imaginary geek-cred.
(I was more thinking about the new rust tools, e.g. rg instead of grep)
Pretty usefull when debugging something interactively.
cat foo | $command
<foo $command
You’re just saying “show me the subset of this other list” and you automatically select your go-to solution for that: `|grep`
The reason for seeking a better tool is when too much excessive work (== time) is involved, or list generation has side effects. But in this case you don’t have two million mount points, so no need to worry.
$ df /dev/sda1 /dev/nvme0n1p1