「Shell」の編集履歴（バックアップ）一覧に戻る

---

「Shell」を以下のとおり復元します。

---

シェルプログラムのTips＆サンプルプログラム

*拡張子の一括変更
>#!/bin/sh
>
>while [ -n $1 ]; do  #第一引数$1がゼロでない(-n)なら実行
>　${1/pnm/png}       #pnmをpngで置換する
>　shift              #引数をずらす
>done                 #終了

---

復元してよろしいですか？