日々の記録簿

日々のできごとの記録

「 月別アーカイブ:2017年04月 」 一覧

“rstanarm”や”brms”のインストールが、”PKI”がインストールできないために失敗する

2017/04/25   -日記

タイトルどおり。rstanarmやbrmsをインストールしようと思ったのだが、PKIがインストールできなくて失敗した。 環境はArch Linuxで、Rのバージョンは3.4。 すこし調べてみたところ、 …

zathuraでクリップボードを有効にする

2017/04/08   -日記

PDF Viewerとして、zathuraを使用しているのだが、クリップボードが使えなくて微妙に不便だった。で、すこし調べてみたらUnix & Linuxのページに解決策が載っていた。 za …

vimtexでuplatexがコンパイルできない(vimtex_compiler_latexmkの設定)

2017/04/06   -日記

以前からLaTeXの執筆にはvimtexを使っていたのですが、2017年4月頃にアップデートしたらコンパイルできなくなったので原因を探ったときのメモ。 なお、「latexmkでコンパイルはできる」こと …