Potrzebowałem szybko zmienić nazwę plików (nie pasowała mi koncówka .html), jak szybko można to zrobić? Cóż, ja wykorzystałem gawka:

ls Pra* | sed 's/.html//' | awk '{ system("mv " $1 ".html " $1)}'

Komenda ls znajduje nam potrzebne pliki, następnie przy pomocy sed-a usuwamy niepotrzebną koncówkę a na końcu awk zmienia nam nazwy tak jak chcemy.Tak więc tutaj poznajemy komendę 'system’ dostępną w gawku :D.