2003-07-16から1日間の記事一覧
指定ディレクトリ以下のファイルの拡張子を変換する。 "rename"ってコマンドで同じことができるらしい。 使い方がわからなかったのでPerlで書いてみた。 #!/usr/local/bin/perl $root = $ARGV[0]; $before = "html"; $after = "shtml"; &rename_file($root);…
指定ディレクトリ以下のファイルの拡張子を変換する。 "rename"ってコマンドで同じことができるらしい。 使い方がわからなかったのでPerlで書いてみた。 #!/usr/local/bin/perl $root = $ARGV[0]; $before = "html"; $after = "shtml"; &rename_file($root);…