Benutzer-Werkzeuge
grep
Dies ist eine alte Version des Dokuments!
In allen Dateien nach Wort suchen
grep -R -n --color "suchwort" *
grep.1278954956.txt.gz · Zuletzt geändert: 2012/10/28 18:54 (Externe Bearbeitung)
Seiten-Werkzeuge
Falls nicht anders bezeichnet, ist der Inhalt dieses Wikis unter der folgenden Lizenz veröffentlicht: CC Attribution-Noncommercial-Share Alike 4.0 International
