Name
kill — stdin stdout - datei --
opt --
help --
version
Synopsis
kill [optionen
] [prozess_ids
]
Der kill
-Befehl sendet ein Signal an einen Prozess. Dieses kann einen Prozess beenden (Standardaktion), unterbrechen, suspendieren, zum Absturz bringen usw. Sie müssen den Prozess besitzen oder Administrator sein, um ihn zu beeinflussen. Um z.B. den Prozess 13243 zu beenden, führen Sie Folgendes aus:
$ kill 13243
Falls das nicht funktioniert – manche Programme fangen dieses Signal ab, ohne sich zu beenden –, fügen Sie die Option -KILL
oder (äquivalent) -9
hinzu:
$ kill -KILL 13243
die eigentlich immer funktioniert. Das ist allerdings kein sauberer Abgang für das Programm, das bei seinem Tod noch Ressourcen belegt haben (oder andere Inkonsistenzen verursachen) ...
Get Linux kurz & gut, 2nd Edition now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.