rename

    38热度

    7回答

    什么是最好的方式,使用bash,以形式重命名文件: (foo1, foo2, ..., foo1300, ..., fooN) 用零填充文件名: (foo00001, foo00002, ..., foo01300, ..., fooN)