2010-04-10から1日間の記事一覧
NTEmacs上の$HOMEとcygwinの$HOMEが食い違っているので少々面倒でした。minttyを起動したままEmacsを終了させようとすると,「子プロセスが残っている」ってメッセージが出てminttyごと終了させないといけないのを修正したい。 (defun mintty (&optional dir…
NTEmacs上の$HOMEとcygwinの$HOMEが食い違っているので少々面倒でした。minttyを起動したままEmacsを終了させようとすると,「子プロセスが残っている」ってメッセージが出てminttyごと終了させないといけないのを修正したい。 (defun mintty (&optional dir…