📓
📓
📓
📓
ainzzorl's wiki
Search…
⌃K
Intro
Pet Projects
Tech
Tech Articles
Algorithms
Technologies
Open Source
Bash
Raft
Quantum Computing
GFS
MapReduce
ZooKeeper
Courses
Math
Places
Books
Cooking
Misc Research
Misc Reading
Fitness
Languages
Juggling
Life Advice
Powered By GitBook

Bash

  • To get pids by name, use pgrep instead of ps | grep
    • E.g. pgrep -i expressvpn
    • It will exclude your own grep process.
Previous
LiChess
Next
Raft
Last modified 1yr ago
Copy link