Hacker News new | ask | show | jobs
by vetinari 1176 days ago
Open a new terminal, find the pid and kill it? :-D