連番のファイル名を変換する

連番画像のファイル名を一気に変えるコマンド．
lsで表示したものに番号を振り，それを入力としてawkでコマンドを形成，shで実行する．

ls *ppm | cat -n | awk '{printf "cp %s img_%04d.ppm\n", $2, $1}' | sh

shをevalにすると上手くいかない．
（shだと毎行実行してくれる）