#contents &br; *Windowsにインストールすると便利なもの [#d2673518] **Cygwin [#ofcca60c] **VNC [#eda3aeff] *Macにインストールすると便利なもの [#g72c0f7c] **Texshop [#t31a2397] **Latexit [#v60c22ca] *shell script [#i9235335] -ディレクトリにある.tiffという拡張子をもったファイルの拡張子を.tifに書き換えるシェルプログラム #!/bin/bash for fname in *.tiff; do newfname=${fname%.tiff}.tif; mv $fname $newname; done |