by Steve Dondley

⬅ Notes listing

Author's note: The note below is part of a digital garden. Therefore, it is likely incomplete, inaccurate or both. In other words, it's just like other information sources but perhaps to a higher degree. That said, it may still be worth exploring.



CLI tools

ripgrep as a replacement for grep


Random tip and tricks

  • open man page as a pdf
    • man -t rg | open -f -a
  • speed up repeat speed when key is held down
  • download html page and save to file
    • curl -s -o ./file.html -k [](`)

View the edit history