NHK BS プレミアムのチャンネルが5月8日付で変更になったみたいですね． ということで，手元の mirakurun の設定ファイルを修正． デフォルトだと /usr/local/etc/mirakurun/channels.yml に設定があるので直接編集． *** channels.yml.org 2018-03-05 18:40…