首頁 繪圖設計 工作閒聊 比賽活動 美術討論 標籤 圖片
Append(rename) all files with JPG/PNG/GIF extension
Type(Type) 2013/12/8 20:52

Append(rename) all files with JPG/PNG/GIF extension



Q: I downloaded some JPG files with wget which are __without__ ".jpg" ext

A: Just use 'rename' utils to append file extension

代碼:

$ wget https://example.com/jpg/1111
$ wget https://example.com/jpg/2222

$ ls
1111      2222

$ rename 's/(.*)/$1.jpg/' *

$ ls
1111.jpg  2222.jpg


(1,663 views)
[更多討論] 討論區 Windows, Linux, Perl, PHP, C/C++, Driver, Web 理論、應用、硬體、軟體




"Append(rename) all files with JPG/PNG/GIF extension" 傳統頁面(電腦版)

首頁 繪圖設計 工作閒聊 比賽活動 美術討論 標籤 圖片
傳統桌面版 [ 登入/註冊 ]
© Vovo2000.com Mobile Version 小哈手機版 2020