LaTeX等を使っていると、定義ファイル内の変数名を変えなくてはいけないことがたまにある。 特にグループで定義ファイルを共有していると、個人のものとconflictを起こしてしまうためである。 これはLaTeXに限らず大規模な開発環境だとそうなるかもしれない…

新しいコンピュータを手に入れたらまず、GPG鍵を共有したい。 サーバにSSHできるようにしたら、秘密鍵をもってくる。 秘密鍵は漏れたらどうしようもないので、最新の注意を払う。 サーバ側 バイナリ形式で秘密鍵を書き出す。 それをscpで新しいコンピュータ…

秘密鍵の作成 RSA形式 ssh-keygen -t rsa -b 4096 -C "hoge@hogehoge.com" -f ~/.ssh/id_rsa ECDSA形式 ssh-keygen -t ecdsa -b 4096 -C "hoge@hogehoge.com" -f ~/.ssh/id_ecdsa 公開鍵の設置 登録したいサーバ上の~/.ssh/authorized_keys (なければtouch)…

4Kディスプレイ等では、マウスカーソルが小さくて見失うことが多々ある。 そんなときのために、カーソルの大きさを変更方法を紹介する。 「システム環境設定」の「アクセシビリティ」 環境設定画面 「ディスプレイ」の「カーソルサイズ」 アクセシビリティ …

リスト内要素の和はsum関数を使えばいいが、かけあわせるのは面倒。 ただ、functoolsとoperatorを使えばできる。 import functools import operator A = [3, 7, 2, 4] print(sum(A)) print(functools.reduce(operator.mul, A)) 出力はこんなかんじ。 16 168 …

passを利用していると以下のようなエラーがでることがある。 gpg: WARNING: server ‘gpg-agent’ is older than us (2.X.XX < 2.X.XX) gpg: error: GnuPG agent version “2.X.XX” is too old. 実行には問題ないが、gpg-agentが起動しっぱなしのようになり、 p…