Mit pgrep kann man mit einem Befehl im Terminal nach Prozessen suchen, um deren Process-Id zu erfahren.