android版 Firefox ブラウザでのプロキシ設定(Proxy Mobile)

android 版の firefox ではプロキシ設定が出来ないように思えるかも知れないが、

about:config

を url 覧に入力し、proxy で検索するなどすれば可能だ。

が、それは面倒なので、アドオンの Proxy Mobile をインストールする方がよい。

などの最低限の設定が出来る。

このアドオンでは、設定出来るプロキシが1つに限られるので、より高機能な proxy アドオンの android への移植が望まれる。

このアドオンの不具合ではないが、
自分の環境では、プロキシホスト名の名前解決が DNS を引けていてもうまく出来ず、
IPアドレスを直接指定しなければならなかった。

名前解決が出来なかった原因が分かった：

ドメイン名を含む、FQDN でプロキシを設定せねばならなかった。
これは、DNS サフィックスの設定が出来ないためと考えられる。
シェルアプリや adb で shell を起動させて

getprops

コマンドを入力してもそれらしきプロパティは一覧に見当たらない。
また、/etc/resolv.conf というファイルは存在しない。

DNSサーバ側で、DNS サフィックスの補完を行えば、問題は解決するはず。