差分
このページの2つのバージョン間の差分を表示します。
| 次のリビジョン | 前のリビジョン | ||
|
blog:2018:2018-11-20 [2018-11-20 18:30] Decomo 作成 |
blog:2018:2018-11-20 [2018-12-04 11:45] (現在) Decomo |
||
|---|---|---|---|
| 行 22: | 行 22: | ||
| 同様に'' | 同様に'' | ||
| + | ===== 2018-12-04 追記 ===== | ||
| + | サーカムフレックスはコマンドプロンプトでのエスケープシーケンスらしいので、TRAMPしてるにもかかわらず'' | ||
| + | |||
| + | 先の回避策では除外ディレクトリの指定が効かなくなってしまうので、grep.el.gzの1153行目あたりを以下のように変更した。 | ||
| + | |||
| + | <code lisp> | ||
| + | (and grep-find-ignored-files | ||
| + | | ||
| + | </ | ||
| + | ↓ | ||
| + | <code lisp> | ||
| + | (and grep-find-ignored-files | ||
| + | | ||
| + | </ | ||