TvRockのチャンネル名変更（NHK BShi→NHK BSプレミアム）

今日から「NHK BShi」が「NHK BSプレミアム」に名前が変わった。以前「BS-i」が「BS-TBS」に変わったとき同様、TvRockの設定を変更した。

1. チャンネルエディタでNHK BS2を削除
2. TvRockの設定画面を開いてO.K.を押す
3. TvRockを終了する
4. ファイル名を変更する
   • NHK BShi.dat → NHK BSプレミアム.dat
   • NHK BShi.grp → NHK BSプレミアム.grp
   • NHK BShi.prg → NHK BSプレミアム.prg
5. timemachineフォルダ内のフォルダ名をNHK BSプレミアムに変更する
6. 以下の5ファイルをエディタで開き、「NHK BShi」の文字列を「NHK BSプレミアム」へ置換する
   • dtv.ini
   • tvrock.key
   • tvrock.sch
   • tvrock.ssa
   • tvrock.sta

これで作業完了。