2017-09-01から1ヶ月間の記事一覧
目次 目次 expand タブしてたら怒られたよ。。。 vim モードラインで設定する。 vimモードライン(modeline)とは 書き方 vim モードラインの例 expandtab の要請 ファイルタイプをJSONで認識させる 折り返しを無効にする インデントの文字数を設定する タブ幅…
cp932まだ絶滅しない。 CP932はいつまで生き残るんですかね。。。ファイル名だけならまだ我慢するけどファイルの中身もとなると結構しんどいですよね・ フォルダ内の txt ファイルの文字コードを表示する $ ls **/*.txt | xargs -I@ nkf -w -g @ Shift_JIS S…
radikoのIPベースの地域判定が残念 MBSラジオを聞きたいのの、東京判定されちゃって悲しいときは結構ある。 WiFi借りてたり、テザリングしてたりすると特に・・・・スマホで聴くのは不便だし そうだよ。SSH経由で再生しちゃえば楽じゃん ssh myserver 'rtmpd…
Safari起動するのも面倒くさい Safariでm3u8を開くのはQuickTimeを起動するようなものなので*1 open -a 'QuickTime Player' 'https://nhkradiolkfm-i.akamaihd.net/hls/live/512097/1-fm/1-fm-01.m3u8' として、open コマンドで直接叩けば良いんだよ。 ほか…
list comprehensions で ネストしたい for for をしたいなと思った。 data = [[ 3 ], [4] ] [ e for row in data for e in row ] ネストと if 文 data = [[ 3 ], [4] ] [ e for row in data for e in row if e %2 ==0 ] 楽しい。 filter も map も要らない。…
radiko の再生スクリプトをマルっと書き直した レポジトリはこちら github.com python3.6 でフォーマット文字列が導入されたので、ようやくPythonをシェルコマンド呼び出しに使って使いやすくなったので、ガンガン書き直した。 注意点とか python3.6 で書き…
Raspi でラジオを聞きたい オーディオジャックから、ラジオを垂れ流したい。散々やってきたけど、Raspi ZeroからRaspi3に変えたので、オーディオジャックが使えるようになった raspi のオーディオジャックでラジコを聴く rtmpdump は必要。 rtmpdump -v -r r…
らじる★らじる を raspi で聴ければ Raspberry Pi にスピーカー繋いで、ラジオを流せればとっても楽ちんだと思いません? omxplayer だけでいけます。 2017-09から、らじる★らじるが m3u8 に変更になっているので HLS のm3u8 を指定するだけなのでとても簡単…
バージョン番号 takuya@raspberrypi:~ $ cat /etc/debian_version 8.0 バージョン名などの各種情報 takuya@raspberrypi:~ $ cat /etc/os-release PRETTY_NAME="Raspbian GNU/Linux 8 (jessie)" NAME="Raspbian GNU/Linux" VERSION_ID="8" VERSION="8 (jessie…
raspi の stretch があるので、アップグレードします。 方法は、通常の debian アップグレードと同じでいいですね。 事前準備 できるだけ最新版にしておく。 sudo apt-get update && sudo apt-get upgrade -y jessie の記述を探す。 grep jessie /etc/apt/ -…
プロセスの子孫を消したいなーって 絶対、車輪の再発明になるので検索させていただきました。 再帰で殺す kill コマンドとppid をきっちり使いこなせば、ちゃんと理解できるんだろうけど、それを説明するのはかったるいので、再帰呼出しがイメージしやすいの…
chrome が keychain のダイアログを聞いてきた!? chrome ってキーチェイン使わないとおもってたら、キーチェインのダイアログを聞いてきたのであたらためて調べてみた chrome が キーチェインを使う条件 Chromeはキーチェインを「読み込み専用」で使うよう…
dns 書き換えてると chrome のDNSキャッシュが邪魔 PC/MacのDNSキャッシュを消しても、なんかダメだなと思ったら、どうやらChromeのDNSキャッシュがあるようで。 DNS触ってnginx を切り替えてるときに、chrome の dns cache はうざい。 chrome のDNSキャッシ…