linux - ループでファイル名を変更するには?

Question

フォルダ /root にファイルがあります

file0001
file0002
file0010
file0011
file0100
file0121

私はこのコードを持っています

for (( i=1; i<=1000; i++))
do
file='/root/file'$i
done

ループでファイル名を変更する必要があります

file0001 --> file1
file0010 --> file10
file0100 --> file100

何か案は？

score 1 · Accepted Answer

先頭のゼロを削除したい場合は、単純な bash スクリプトでうまくいきます:

#!/bin/bash
while read line           
do           
    name=`echo $line | cut -c5- | sed 's/^[0]*//'`
    echo "file$name"
done <your_file.txt

結果: ....
file0100->file100
file0121->file121

4 に答える 4