深町さんのスクリプトを使ってみたかったが、シンボル一覧を取得するときにプロキシを超えられなかった。
drakma:http-request
に環境変数HTTP_PROXY
の内容を渡すように変更してみた。
こんな変更でよいのかわからない。
今使っている環境だとros -w rlwrap run
ではなくrlwrap ros run
で履歴を辿れた。
PDFから濁点や半濁点がついた文章をコピペすると二文字に分離されてしまう。
これを結合するそのまんまの関数がありました。
リージョンを選択して M-x ucs-normalize-NFC-region
で終了。これは気持ちいい。
見よう見まねで設定。 生成されなくなった模様。
(add-to-list 'tramp-remote-process-environment "HISTFILE=/dev/null")
Re: disable the .tramp_history file
文字列でENVVARNAME=VALUE
のリストが入っているが、
特定のキーのものがあれば消す。というのはうまく書けなかった。
tramp-remote-process-environment
の定義にHISTFILE
がなかったので
いったん上記で対応。