From f836747821a70e4d39cd3c8d14f9b7d05bf0ede3 Mon Sep 17 00:00:00 2001 From: Andreas Hofmann Date: Mon, 17 Feb 2020 16:15:23 +0100 Subject: [PATCH] README-de.md: Added remark about ripgrep. Signed-off-by: Andreas Hofmann --- README-de.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README-de.md b/README-de.md index 7d8349d..96e5abe 100644 --- a/README-de.md +++ b/README-de.md @@ -105,6 +105,8 @@ Hinweise: - Verwende `pgrep` und `pkill`, um Prozesse anhand eines Namens zu finden oder festzustellen (`-f` ist hilfreich). +- Wenn du eine große Datenmenge durchsuchen musst, versuche [`ripgrep`](https://github.com/BurntSushi/ripgrep) anstatt des normalen GNU grep. Es entspricht zwar nicht der POSIX-Spezifikation, ist in den meisten Fällen aber viel, viel schneller. + - Kenne die verschiedenen Signale, welche du Prozessen senden kannst. Um einen Prozess etwa zu unterbrechen, verwende `kill -STOP [pid]`. Für die vollständige Liste, siehe `man 7 signal` - Verwende `nohup` oder `disown`, wenn du einen Hintergrundprozess für immer laufen lassen willst.