平衡点


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 使おうよ」プレッシャー凄いなぁ...


連絡先など
最近の日記
  • 2024/12/05
    • 1. 11月末〜12月の出張三昧がようやく一段落
    • 2. サイトの scss を Dart Sass v3.5 に対応
  • 2024/10/09
    • 1. Mastodon でのメール通知, というか Exim4 と Apparmor
  • 2024/06/19
    • 1. WSL2 での gpg-agent, ssh-agent
  • 2024/06/18
    • 1. WSL で Windows 側のフォントを利用する
  • 2024/06/17
    • 1. WSLとWindowsの時刻同期
一覧
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|04|05|06|10|12|
Back to Top ▲