昔は標準だったけど、いつの間にか、about:configで変更しないと表示されなくなった。
このページによると、Firefox47だけっぽい。48からは直るのか、ピンポイントでやられた。
表示する方法は、上のページにも書いてあるけど、
about:config 開いて
devtools.fontinspector.enabled
の値をTrueにする。
出ました。
まー。ソートーピンポイントなんでかなり意味の無い情報。
ubuntuのFirefoxで特定のページがIPAexゴシックになる
なんか、前もあって諦めた気がするけどやっと原因が分かったので書いてみる。
ubuntuでは標準フォントが、Takaoフォントになって久しいが、何かの拍子で、IPAフォントを入れたら(今回はtex系のパッケージ入れたら一緒に入った)、Firefoxで特定のページのみIPAexゴシックになってしまう。
今回気付いたのは、Yahooニュースのページ。
たまたま、取得したのがこのページで、深い意味はありません。
ubuntu 16.04のFirefoxで最新のFlashを使う
現在(2017/2/13)この記事は、嘘です。たぶん間違えています。
たぶんこっちの記事で上手く行くことを祈ります。
ubuntuで最新のFlash(22系)を使う方法。
Linux版のFlashは、Adobeがかろうじてメンテしてくれているけど、それが11系で古い。
最新版は、googleが作っているけど当然chrome用で、基本的にはFirefoxには入らない。
NPAPIとか、PPAPIとか細かいことは気にしない。
インストール方法は、以下。だいぶ楽になった。
Firefox 47からSeleniumが使えない
Firefox 47にしたら、Selenium(python経由)が動かなくなった。
|
1 |
selenium.common.exceptions.WebDriverException: Message: The browser appears to have exited before we could connect. If you specified a log_file in the FirefoxBinary constructor, check it for details. |
こんなエラーで止まりやがる。
当初は、Firefox 46にダウングレードして凌いでいたが、ブラウザをアップデート出来ないのは嫌なので、Firefox 46のバイナリを別に置いて対応することにした。
gnome-terminal(端末)で○△□とかを全角表示(ubuntu 16.04)
ubuntu16.04でアップデート出来ない(apt-get update)
なんだか、アップデート出来ない。GUIからやってもだめ、apt-get updateでも途中で止まって延々と進まない。
topで見ると、appstreamcliってやつがCPU 100%になっている。こいつをkillしてもだめ。
たぶん、これっぽい。
とりあえずよくわからんが、appstreamcliをリネームして回避。
|
1 |
$ sudo mv -i /usr/bin/appstreamcli /usr/bin/bk.appstreamcli |
これで普通に、apt-get updateが出来るようになった。appstreamcliを元に戻すかはご自由に。
gnome-terminal(端末)でAlt+Fでメニューが開かない(ubuntu 16.04)
ubuntu 16.04にしたところ、gnome-terminal(端末)でAlt+keyでメニューバーにアクセス出来なくなった。
こいつ。
今までは、Alt+Fで「ファイル(F)」を開いたり、Alt+Tで「端末(T)」を開いて結構使ってたのだが、16.04から使えなくなった。
以下、回避方法。
エリック・クラプトン2016/04/13日本武道館セットリスト
行ってきました。エリック・クラプトン日本公演。
いやー。2年ぶりですね。前の記事。
ツアー引退？うん。もう忘れました。気楽に来てくれて、気楽に演奏して遊んで帰ってくれればいいです。ありがたいです。
ということで、セットリスト。
男の嗜みはキーボードから(FKBN91M/NFB2)
ということで、キーボードを買った。
ノートPCのキーボードが高速タイプすると、キーを取りこぼす時があり(多分初期不良)非常にストレスを感じていて、外付けのキーボードを接続することにした。
で、最初はタブレットとかでも使える、Bluetoothタイプが便利かなーと物色していたのだが、ひょんなことから、
FILCO Majestouch BLACK Tenkeyless 茶軸・テンキーレス・かななし(FKBN91M/NFB2)
リンク切れのため同じような品
ってやつを買ってしまった。
キーボードなんてUSB接続なら、1000円くらいでいくらでもあるが、こいつは1万円する。