(自分用メモ)ファイルサイズの計測と記録の自動化

記事執筆のモチベを管理する方法の一つが計測だ.計測と言っても,要するにモチベが上がれば良いのだから実のところ測るべき数字の「質」について悩む必要はない.行数でも良いがtexの場合ならば文字数が良いかもしれない.以前は wc -m した結果を自分でエクセルに貼り付けていたがこれは自動化できてしかるべきなのでCSVファイルを用意し,Makefile から自動で更新できるように方法を考えてみた.

count : yourfile.tex  ## count characters in the files.
	$(eval DATE=$(shell date "+%Y/%m/%d,"))
	$(eval INFO=$(shell wc -m $<))
	$(eval TMPNAM=$(shell mktemp))
	@echo $(DATE)$(INFO) > $(TMPNAM)
	@sed -i -e 's/$<//' $(TMPNAM)
	cat $(TMPNAM) >> count.csv
	@$(RM) $(TMPNAM)
	@tail count.csv

これで
2019/01/13,3000
のような行が毎回 Make count するたびに count.csv に追加されるようになる.

広告

(latex)除算の/(スラッシュ)を大きくしたい

自分用メモ.
AやBが大きめの数式のときに A / B と書くとみすぼらしいサイズになることがある.
対策法の一つは:\left. A \middle/ B \right.

Gibbs現象

PDFリンク:Gibbs現象

(自分用メモ)WSLが立ち上がらないとき:LxssManager

WSLを立ち上げようとしてもこんな風になってうまくいかないことがある:
WSLbozo

こんなときには「サービス」で検索し
サービスを探す
LxssManager をスタートさせれば良い.

texdoc(自分用メモ)

texlive を入れると自動的に texdoc というコマンドもついてくるが,ドキュメントを(カスタムインストールの設定などで)省いてしまった場合,
$ sudo apt install texlive-*-doc --fix-missing
のようにして補うと良い.

texdoc amsfont

のようにして調べ物をすると自動的に evince が呼ばれてPDFが表示される.

SSH メモ

■秘密鍵から公開鍵を復元する:
$ ssh-keygen -y -f 秘密鍵のパス > 復元した公開鍵のパス

■github で使われるFingerprintの取得:
$ ssh-keygen -l -E md5 -f 鍵のパス

参考にしたサイト:
ssh-keygenで秘密鍵から公開鍵を生成する
https://gist.github.com/yosemitebandit/1994947

github のリポジトリをSourceTree で扱うために大事なこと

[ツール]>[オプション]で次のように設定します:
SourceTreeSetting

Maxima のplot2dが動かないとき(メモ)

Windows再インストール後に久しぶりにMaximaでグラフを描かせようとしたら次のようなエラーメッセージが出た:

Maxima encountered a Lisp error:
OPEN: Directory #P”C:\\Users\\USERNAME\\AppData\\Local\\Temp\\” does not exist
Automatically continuing.
To enable the Lisp debugger set *debugger-hook* to nil.

F:\maxima-5.41.0a\binにあったmaxima.batでMAXIMA_TEMPDIRをエディタで編集し,

if not defined MAXIMA_TEMPDIR set "MAXIMA_TEMPDIR=%TEMP:\=/%"

とあった行を

if not defined MAXIMA_TEMPDIR set "MAXIMA_TEMPDIR=%TEMP:\=/%/maxima"

と修正した.Maximaを再起動すると今度は無事にグラフが作成できた.

古いPCにDebianを入れた記録(自分用メモ)

PCが一台余ったのでDebianを入れることにした.いままではLinuxといえばUbuntuしか使ったことがないのだけど,岡部さん(@master_q)にプッシュされたという理由で今回はDebianを入れてみた.

■インストール用isoファイルのダウンロード
余ったPCには今まで64ビットWindows 10 が入っていたので,アーキテクチャは「amd64」となる.
このページから firmware-9.5.0-amd64-DVD-1.iso をダウンロードする.(このページに限らず,大きなサイズのファイルをダウンロードするときには Free Download Manager のようなものを使うことは大事だ.このようなツールを使うと途中でDLに失敗しても再開できる).

■isoファイルの書き出し.
ダウンロードしたisoファイルをWin32Disk ImagerでUSBメモリに書き出す.

■古いPCのインストール前準備
十年ぐらい前からのPCでは起動時にF2を押そうがF8を押そうがすぐにWindowsが立ち上がってしまう.UEFI画面を出す方法などはPCによって少しずつ違う.各自調べてほしい.

■Debianのインストール
適当に終わらせた.

■stack のインストール
Debianのaptで入るstackはバージョン1.xで,これでは stack upgrade もできない.
仕方ないのでcurl経由で無理やり最新版stackを入れた:

$ su
パスワード:
# apt install curl
# curl -sSl https://get.haskellstack.org/ | sh -s - -f
# stack --version
Version 1.9.1, Git revision ....

参考にしたページ
Debian GNU/Linux インストールガイド

4.3. USB メモリでの起動用ファイルの準備

本気で Haskell したい人向けの Stack チュートリアル

■謝辞 この記事を書くにあたり,岡部さん(@master_q)にはいろいろお世話になりました.

wxMaximaのインストーラ(自分用メモ)

検索上位に来なかったので自分用にメモ.
ここからインストーラを取ってくる.