僕は全てのメモを「Gmailで自分宛てに送信」して記録している。 インストールログや便利なツールのメモ、数学のパズル、役所の手続きから買い物リストまで、何もかもをGmailに送信しているのだ。 リマインダもToDoリストも全てメール管理。 閲覧は主にスマホ…

www.publickey1.jp これはすごいニュースやで。 今までmsys2でzsh使ってきたけど、これからはそういうトリッキーなことせずに済むらしい。 WindowsにおけるLaTeXやgit、sshの環境が根本的に変わる予感。

ローカルのWindows7にXmingをインストール フリーのWindows用Xサーバー「Xming」のインストールと基本設定、使い方 や XmingによるX Window利用 に書かれているのと同じようにインストールする。 Putty をインストールする必要はない。 ローカルのWindows7で…

RLogin はWindows環境における便利な端末エミュレータだ。 ただ残念なことに、デフォルトのフォントがキモいという問題がある。 そのうえフォントサイズの変更方法がわかりにくいので、まとめておこう。 フォントの種類の変更 半角アルファベットと記号のフ…

Windows で ssh サーバーにログインしたい時には、 Putty や TeraTerm といった 端末エミュレータを用いるのが一般的だが、 僕は RLogin という端末を常用している。 RLogin は Sixel が使えるなど様々な点で先進的で使いやすいのだが、使用者をあまり見かけ…

Linux Mint の TeX Live 2013 で画像を挿入したいのに、 コンパイルエラーが出て困った(そして解決した)という話。 latexファイルの書き方 ［改訂第6版］LaTeX2e 美文書作成入門の120ページや151ページによると、 以下のようにして画像を挿入するのが良いら…

fooupdatebar.exeなるファイルを作ってクリックすると怒られる。 このせいでバグが取れなかった。Windows はゴミ

Windowsには IrfanView という使いやすい画像ビューアがある。 大抵どんな画像でも開けるものの、LaTeX などで使用する eps 画像は デフォルトでのままだと開けない。オプションで gsdll32.dll を指定すれば開けるようになる。以下はその具体的な説明。 あら…

Windowsには CraftLaunch という便利なキーボードランチャがある。 設定ファイルの config.py をいじれば色々楽しめる。 自分用の設定が詰まった config.py を他のソフトの設定ファイルと一緒に git 管理したい。 自分用の設定ファイルを任意の場所からイン…

普段は Bitbucket のリモートリポジトリで dotfiles を管理しているけれど、 新しいローカルな環境で dotfiles を git clone したとき、 $HOME にシンボリックリンクを貼りたくなるのでやり方をメモしておく。 UNIX LinuxでもMacでもCygwinでも、およそWindo…