ripgrep-all なる cli tool を見つけた。PDF の内容に対しても検索の対象にすることができるみたい。論文の管理に paperpile を使っているのだが、これの理由が、abstract を抽出して index してくれることで、後からの検索が捗るからだったが、pdf 全体に対して cli で検索できるのだとしたらこちらの方が良い気もする。あとは論文のフォルダとタグの管理ができれば完璧なのだが。

細かいタスクをいくつか潰そうかと思っていたのだが結局一日論文を読んでいた。祝日なので何もしなくても良かったが別にやることもないのでこうなってしまった。天気が悪かったので外出もできなかったし。