スマホにローカルテキスト置いて検索にaGrep使っていたんだがAndroid13GoogleplayからだとaGrepが出てこない（apkもインストールできない）
Grepってアプリがあってインストールもできたんだが、使ってみるといつまで経っても検索結果が出てこない
300KB程度のプレーンテキスト×3（そういやあ最初DOSで編集してたっけ、その後Windowsで加筆など）、泥のテキストファイルでも読める
なんかいい手立てはないものだろうか
正規表現は諦めてもい
Android10でaGrepで検索した場合は一瞬で結果をはじき出す