kill -9 <id>
обязательно уничтожит все, что связано с этим pid.
, чтобы найти pid, я использую
ps -u $USER -f | grep gedit
, после чего они могут быть включены в одну команду, если вам нужно часто делать это