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…

numpy.loadtxt テキストデータをnumpy arrayに読み込む 詳しい記述はソースサイトより よく使うオプション fname: file, string dtype: data-type, optional delimiter: string, optional numpy.savetxt numpy arrayをテキストデータに書き出す よく使うオプ…

Gnuplotで描画画面にGUI使わない設定が利用できる。 gnuplot> set terminal dump Terminal type set to 'dumb' Options are 'feed size 79, 24 aspect 2, 1' gnuplot> p sin(x) 1 +-+--------------***---------------+---**-----------+--------**----+-+ +…