16

1～1000番のファイルを作っています。最初のファイルが、2 番目のファイルが0000.txt、100 番目と最初のファイルが などになるように、ファイルを印刷する必要があります。 0001.txt0100.txt

%04dcの printf フォーマットと同じことを行うコマンドはどれですか?

編集: Mac OSX ですべてを実行し、ターミナルで bash を使用しています。公平を期すために、私はPOSIXが何であるか、あるいはシェルが何であるかさえ知りません。申し訳ありませんが、以前にシステムを指定していませんでした。

4

2 に答える 2

36

C と同じように printf を使用します。任意の POSIXly Bourne シェル (zsh、ksh、bash など) で使用できます。

$ FILE=$(printf %04d 42).txt
$ echo "$FILE"
0042.txt
于 2013-05-28T18:23:14.367 に答える