平衡点


2007/11/19

_ putty の設定保存先

バイト関係で, laptop を持ち込めず, 用意されている Windows 端末で作業している訳で, ssh に putty を使っている訳です(SD カードに putty 一式入れて持ち歩いてる).

毎度, keep alive とか ppk の読み込みとか設定する訳ですけれど, 端末を変える度に設定が消える訳で, どこに保存されているのか謎だったのですよ.

で調べてみると,

HKEY_CURRENT_USER\Software\SimonTatham\PuTTY

以下にありました. これを export しておいて, 毎度読み込む事にしたら, 設定の読み込みができましたよ.

_ rabbit の TeX による数式表示

rabbit-0.5.3/lib/rabbit/parser/ext/tex.rb の中身で, TeX を image に変換している所,

begin
  latex_command = ["latex", "-halt-on-error",
                   "-output-directory=#{dir}", latex_file.path]
  dvips_command = ["dvips", "-q", "-E", dvi_path, "-o", eps_path]
    unless SystemRunner.run(*latex_command)
      raise TeXCanNotHandleError.new(latex_command.join(" "))
    end
    unless SystemRunner.run(*dvips_command)
      raise TeXCanNotHandleError.new(dvips_command.join(" "))
    end
    FileUtils.mv(eps_path, image_file.path)
    image_file
  ensure
  FileUtils.rm_f(dvi_path)
  FileUtils.rm_f(eps_path)
  FileUtils.rm_f(log_path)
  FileUtils.rm_f(aux_path)
end

ここをちょっと弄れば, もう少し良い感じで数式が表現できそう.

...しかし, 最近「PowerPoint 使おうよ」プレッシャー凄いなぁ...


2021/11/19

_ デスクトップ環境を切り替えて遊んだり

久方振りに GNOME3 から KDE Plasma に切り替えて遊んでみたり.

  • HiDPI 対応は fractional scaling ができる点で, 現時点では KDE の方が融通が効く.
    • GNOME3 にも mutter の experimental-features で fractional scaling が有効にできる, という記事があるものの, 手元では動作しない.
    • wayland なら動くかもしれないが, barrier が動作しないので選択肢にはない.
  • keyring の扱いは gnome-keyring に軍配
    • kwallet は libpam-kwallet5 + kwalletcli + pinentry-qt で ログイン時に keyring を開く + gpg-agent の認証は可能.
    • libsecret には対応していないので, msmtp などの認証には使えない
      • 何かパッケージ入れたら対応できるのかな?
    • libpam-gnome-keyring + pinentry-gnome3 だと 上記問題は発生しない.
  • journal へのログ出力

というわけで, やっぱり keyring の扱いが圧倒的に楽なので, 結局 GNOME3 に戻したり.

…いや, i3-wm に切り替えても良いんだけれど, そうするとZoomやTeamsの挙動がねぇ….


連絡先など
最近の日記
一覧
2006|03|04|05|06|07|08|09|10|11|12|
2007|01|02|03|04|05|06|07|08|09|10|11|12|
2008|01|02|03|04|05|06|07|08|09|10|11|12|
2009|01|02|03|04|05|06|07|08|09|10|11|12|
2010|01|02|03|04|05|06|07|08|09|10|11|12|
2011|01|02|03|04|05|06|07|08|09|10|11|12|
2012|02|03|04|08|09|10|11|12|
2013|01|02|03|04|05|06|08|09|10|11|12|
2014|01|02|04|05|06|07|08|09|10|11|12|
2015|01|02|03|04|05|06|07|09|10|
2016|02|03|
2017|01|02|03|05|06|07|09|11|12|
2018|03|06|07|10|11|12|
2019|01|02|03|04|05|07|10|12|
2020|01|02|03|04|05|08|09|10|11|12|
2021|01|02|03|05|06|07|08|09|11|12|
2022|01|02|03|04|05|06|08|10|11|12|
2023|02|03|04|06|08|09|11|12|
2024|01|02|03|
Back to Top ▲