dot2texでtikzに変換してからstandaloneクラスを使って図を出力する。 gist.github.com

Ubuntu18.04LTSのインストール時にdockerを入れると、その時点ではGoogle DNSを追加していないためにコンテナ内でDNS周りがおかしくなる。 dockerのブリッジを作り直すと直る。 pkill docker iptables -t nat -F ifconfig docker0 down brctl delbr docker0 …

flockとmktempを使えばよい #/bin/bash -u lockfile=$(mktemp) myjob(){ # do something flock $lockfile echo "hoge" >> output } for file in $(find . -maxdepth 1); do myjob $file & done 参考リンク 排他を実現するコマンドflock(1)の使い方メモ | 上…

普段メモをLaTeXで書いてGitHubで管理しているのだが、コンパイル後のpdfをクラウド上で見られると便利そうなので実装した。 circleciではartifactsを3GBまでアップロードすることができる。 CircleCI CLI (CircleCIのconfig.ymlをローカル実行できることを…