Navigation
0 Besucher online :: 0 Gäste und 0 Angemeldete
Einträge in dieser Kategorie
- Datei herunterladen
- Datei verschieben/umbennen
- Besitzer/Besitzergruppe des Verzeichnises/der Datei ändern
- Hostname setzen/anzeigen
- Freien Speicherplatz ermitteln
- Einen neuen Schlüssel für GPG (GnuPG) erstellen
- Informationen zu Dienst anzeigen lassen
- Prozess ID ermitteln
- Prozess beenden (via kill)
- Datei(en) packen/entpacken mit Tar/Gzip bzw. Tar/Bzip
- Mit GnuPG eine Datei verschlüsseln bzw. entschlüsseln
- Symlink erstellen
- ISO-8859-1 Dateien in UTF-8 Dateien konvertieren
- Dateien suchen
- Dateien per "scp" über SSH kopieren
- Verzeichnisstruktur unter Linux
- MySQL Tabelle reparieren
- PHP-Script mittels "wget" auf entferntem Server ausführen
- Grösse des Inhaltes eines Verzeichnes ermitteln
- Mit wget einen lokalen Mirror einer Webseite erstellen
Tags
Sticky FAQs
Linux Allgemein
ID #1040
Prozess beenden (via kill)
Um einen Prozess zu beenden wird erstmals die Prozess-ID des zu beendenden Prozesses benötigt (siehe Prozess ID ermitteln). Danach kann der Prozess mit folgendem Syntax beendet werden:
kill [Prozess-ID]
[Prozess-ID] = ID des zu beendenden Prozesses
Beispiel:
kill 30512
Erklärung:
Beendet den Prozess mit der ID 30512
Tags: id, kill, process, prozess
Verwandte Artikel:
- Einen neuen Schlüssel für GPG (GnuPG) erstellen
- Informationen zu Dienst anzeigen lassen
- Prozess ID ermitteln
Letzte Änderung des Artikels: 2007-11-23 16:41
Autor: Andy Blank
Revision: 1.41
Es ist möglich, diesen Artikel zu kommentieren.