Neues AWK-Beispiel zugefuegt

werkzeugkasten.tex

@@ -342,6 +342,10 @@ END { summe /= 1024; print "Die Gr
 # ausgeben, verarbeitet die Ausgabe von 'df':
 BEGIN { OFS="|" }
 /^\/dev\// { print $1,$5 }
+
+# Alle Hosts aus der /etc/hosts anpingen, muß mit der /etc/hosts als
+# Eingabedatei aufgerufen werden:
+/^[^#]/ { system("ping -c 1 "$1) }
 \end{lstlisting}
 
 \index{awk=\texttt{awk}|)}