Related questions
How do I edit $PATH (.bash_profile) on OSX?
I am trying to edit an entry to PATH, as I did something wrong.
I am using Mac OS X 10.10.3
I have tried:
> touch ~/.bash_profile; open ~/.bash_profile
But the file editor opens with nothing inside.
My problem:
…
Find and kill a process in one line using bash and regex
I often need to kill a process during programming.
The way I do it now is:
[~]$ ps aux | grep 'python csp_build.py'
user 5124 1.0 0.3 214588 13852 pts/4 Sl+ 11:19 0:00 python csp_build.py
user 5373 0.0 0.0 8096 960 pts/6 S+ 11:20 0:00 grep python csp_build.py
[~]$ kill 5124
How …