返回列表 回復 發帖
閒魂

管理員

Rank: 9Rank: 9Rank: 9
1#
發表於 2007-3-29 19:48 | 顯示全部帖子
咩樹r??
回復 引用

TOP

閒魂

管理員

Rank: 9Rank: 9Rank: 9
2#
發表於 2007-3-29 20:18 | 顯示全部帖子
個 txt 係點？
回復 引用

TOP

閒魂

管理員

Rank: 9Rank: 9Rank: 9
3#
發表於 2007-3-29 20:21 | 顯示全部帖子
仲有呢… jpg 係唔應該轉 png，只應做返 jpg
正如 mp3 唔應該轉做 wav 一樣…
回復 引用

TOP

閒魂

管理員

Rank: 9Rank: 9Rank: 9
4#
發表於 2007-3-29 20:50 | 顯示全部帖子
原帖由 kelvinlok 於 2007-3-29 20:23 發表

佢話用個convert黎做
convert -resize 80x80 00.png
yes

但個 http://xxxxx 唔可以就咁放落去…要先 wget 落黎…
wget `head -n X txtfile.txt | tail -n 1`
convert 00.jpg resize 80x80 00.png

使用 convert 要先裝 imagemagick
回復 引用

TOP

閒魂

管理員

Rank: 9Rank: 9Rank: 9
5#
發表於 2007-3-29 21:59 | 顯示全部帖子
咁呀…X 代表第幾行

wget `head -n X txtfile.txt | tail -n 1`

不過咁只能 download 一個，定係你想一次過 download 全部？
回復 引用

TOP

閒魂

管理員

Rank: 9Rank: 9Rank: 9
6#
發表於 2007-3-29 22:15 | 顯示全部帖子
wget -i txtfile.txt
for file in *.jpg; do convert "$file" resize 800x600 "file".png; done
回復 引用

TOP

閒魂

管理員

Rank: 9Rank: 9Rank: 9
7#
發表於 2007-3-29 22:36 | 顯示全部帖子
for file in *.jpg; do convert "$file" resize 800x600 "$file".png; done
回復 引用

TOP

閒魂

管理員

Rank: 9Rank: 9Rank: 9
8#
發表於 2007-3-29 22:44 | 顯示全部帖子
咁要用埋 sed，會煩 d...
回復 引用

TOP

閒魂

管理員

Rank: 9Rank: 9Rank: 9
9#
發表於 2007-3-29 22:57 | 顯示全部帖子
for file in *.jpg.png ; do new=`echo $file | sed 's/.jpg//g'` ; mv "$file" $new ; done
回復 引用

TOP

閒魂

管理員

Rank: 9Rank: 9Rank: 9
10#
發表於 2007-3-29 23:23 | 顯示全部帖子
for file in *.png ; do echo "<p><img src=\"$file\"></p>" >> index.html ; done
回復 引用

TOP

返回列表