Entität hat die Frage nach einer Lösung gestellt, mit der man über das Terminal einen bestimmten Prozess killen kann. Das hier war meine Antwort (bereinigt um die Anmerkungen, die der Bedienbarkeit halber im ursprünglich publizierten Skript enthalten waren), „ruby“ ist nur ein Beispielwert und muss entsprechend gegen den gewünschten Prozessnamen getauscht werden.

#!/bin/bash
#the code is documentation enough
pn=ruby
i=$(pidof -s $pn)
echo "Der Prozess $pn mit der PID $i wird jetzt abgeschossen.“;
kill -s 9 $i;
#EOF