|
Namazu for hns による簡易全文検索 詳しくは 詳細指定/ヘルプを参照して下さい |
||||||||||||||||||||||||||||||||||||||||||||||||||
2017年12月03日(日) 旧暦 [n年日記] [更新:"2017/12/03 09:08:35"]#1 [zsh] assign serial number as a name
zsh で
(シェルで)、
連番を振りたい時がある
mozart@makoto 18:02:11/171203(..20171202/original) % let j=10 ; foreach i (`cd ../png/; ls -tr`) echo $j; ln -s ../png/$i img_00$j.png; ((j=$j+1)) endというような方法がある。 ( つっこみ )
|
最近の日記 2025年02月13日 ・dvipdfmx ICC profile format spec. version 4.3.0 2025年01月29日 ・ham/wsjtx 2025年01月27日 ・wip/wsjtx 5.4.2 2025年01月25日 ・ham/wsjtx 2025年01月15日 ・今更 advent calendar | ||