Menu

Close
  • Home
  • About
  • Resume
  • LinkedIn
  • Admin
Subscribe
Menu

pipe

A 1-post collection

Page 1 of 1

The cost of context switching

Whether out of habit or clarity of reading, I often find myself writing shell recipes like: $ cat file.txt | grep foo ...instead of... $ grep foo < »

Brad King Brad King on shell, bash, pipe 21 April 2020
Page 1 of 1
wtfs, omgs, and lolnopes © 2023
Proudly published with Ghost