ホーム » 2018 » 5月 » 31

日別アーカイブ: 2018年5月31日

2018年5月
« 4月   6月 »
 12345
6789101112
13141516171819
20212223242526
2728293031  

最近の投稿(電子情報)

アーカイブ

カテゴリー

mimetex.cgi は便利

学科のWebサーバには、mimetex.cgi というパッケージを入れてある。これを使えば、img タグの src 部分に、mimetex.cgi を記述し、パラメータのURL部分に、の数式を書くだけ。

(( mimetex.cgi のインストール ))
$ sudo aptitude install mimetex

なので、普通にテキストで書いたら、O(N log N) みたいな式でも、 なんて記述も、 で数式書くのに慣れてれば、楽々。

(( HTML の中で数式画像の img タグを書く ))
<p align="center">
  <img src="/cgi-bin/mimetex.cgi
     ?\int{\frac{1}{\sqrt{a^2-x^2}}dx}
      = \sin^{-1}\frac{x}{a}+C" /><p>

iPadでlinux仕事-Shelly Pro

仕事用の Surface Pro のキーボードがクソで、「T」の反応がダメダメなので、Bluetooth キーボードを購入。以前に、iOS,Windowsといった複数接続に切り替え可能で、接続相手に合わせてキーアサインも変更してくれる小型キーボードを購入していたけど、小さすぎてメールを打ったり、Linux サーバを触るときに、思うように打てずあんまり使わなくなっていた。

今回、Logicool の K380 を購入したけど、Mac のキーボードと同じ配列で複数のBluetooth接続を切り替えられるもの。OSに合わせてキーアサインを切り替える機能はない。

やはり、いつも使っているキーボードと同じなので、手に馴染む。それならばということで、iOS に ssh ターミナルソフト入れたら、Linux 仕事で違和感なく使えるか試したくなった。

日本語が使えるiOS用sshクライアント

以前に、ある程度日本語が使えるということで Termius という無料アプリを使っていたけど、emacs で漢字をつかっていると、文字位置がずれるので今ひとつ。

Shelly - SSH Client

今回、”iOS ssh 日本語”で検索をかけたら、この記事が比較や有料ソフトの値段なども記載してあってわかりやすかった。

最終的に入れたのは、Shelly Pro となりました。

実際に、ベッドで寝ながら複数のサーバ更新作業をやったけど、Ctrl-Caps交換ができないし、iPad は記号が英字キーボードの配置なので、キートップを確認しながらになったけど、まあまあ使える。

K380 には、iOS のキー配置も刻印されているので、便利。

ただし、iPad に入れて、”Pro” にアプリ内課金でバージョンアップ(¥600)したけど、iPhone に 同じく Shelly を入れたら、バージョンアップしようとしたら、¥480 の課金の画面が出てきた。値段も違うし、タブレット版とスマホ版は別物扱いしてるんだろうなぁ。

次の出張では、iPad mini とキーボードだけ…を試そうかな。