Wat te doen als Ctrl + C een proces niet kan doden?
Ctrl + C werkt niet altijd om het huidige proces te doden (bijvoorbeeld als dat proces bezig is in bepaalde netwerkoperaties). In dat geval zie je gewoon “^C” bij je cursor en kun je niet veel anders doen.
Wat is de gemakkelijkste manier om dat proces nu te laten sterven zonder mijn terminal te verliezen?
Samenvatting van de antwoorden: Gewoonlijk kun je Ctrl + Z het proces laten inslapen, en dan kill -9 _process-pid_
doen, waar je de pid van het proces vindt met ps en andere hulpmiddelen. Op Bash (en mogelijk andere shells) kunt u kill -9 %1
doen (of ‘%N’ in het algemeen), wat gemakkelijker is. Als Ctrl + Z niet werkt, moet u een andere terminal openen en vandaaruit kill.