MEMO

うっかりしていました。 12月30日から降った雪が20-30cmほど当地彦根の平地でも積もっていましたが、まさか落雪でへこむとは。休み明けの4日朝に車のルーフが、落雪でべっこりといっているのを確認しました。最近の車は、衝突安全性にかかわらない部分は強度が無いんですね。 保険会社が外資系で心配でしたが、問題なく保険で修理できるとのことで安心しました。それにしてもしばらく車が使えなくなるのは困るなぁ。 こちらは31日の様子。

Mozilla版バイナリをUbuntuで使うには、あわしろいくや さんが2022/4/6に 技術評論社の Ubuntu Weekly Recipe https://gihyo.jp/admin/serial/01/ubuntu-recipe/0710 でコマンド一発でできるスクリプトを公開してくださいましたので、そちらをお勧めです。以下は手作業でする場合（笑）。 昨年2020年はFirefoxの不安なニュースが流れてきた年でした。8月にはmozillaの1/4に上る社員の大量レイオフがあり、CEOはこれまでの無料のビジネスモデルは終わりだ。と言ったとかで、Firfoxの将来はけして明るくは無いということが改めて示されたわけで、ずっとFirefoxを使い続けたいわたしたちには悲しい限りです。いやChromeもいいんですけどChromeのパスワードマネージャはときどきIDパスワードを入れてくれないサイトがあるんですよ。ESXiのログインもIDパスワード入れてくれないから設置先によっては長い暗号を別のパスワードマネージャソフトを使って入れないといけないのが面倒で。そのあたりはFirefoxのパスワードマネージャはだいたいのサイトで入れてくれて楽ちんなんです。そんなこともあってFirefoxは離せないわけなんですが それにしてもUbuntuデスクトップのFirefox遅いんじゃない？ と思ったアナタ正解です。もう全然遅いです。めちゃめちゃ遅いです。とにかくこれを見てください。 まずChrome Edge-beta それからFirefox 数字で見るとショックですねぇ。。。。Edgeのベータにも負けています。こんな遅いのを我慢して使ってきたのかと思うともうなんとも。あれでも、もしかしてUbuntuデストリ標準レポジトリのFirefoxが遅いわけで、Mozilla版なら速くない？ほかコンパイルオプションとか違いがあるんじゃ？ということでmozilla.orgで配布しているZIPを展開して実行したのがこれ。 おお！これならFirefoxまだいける。がんばれFirefox応援しているぞ！ UbuntuデスクトップのFirefoxを、Mozilla版に差し替える手順を紹介します。環境はUbuntu20.04です。22.04も大丈夫です。1