📓
📓
📓
📓
ainzzorl's wiki
Search…
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