>>349
ありがとうごさいます。
残念ながら、agrepはAndroid14以上に対応してないんですよ。更新してくれないかなー。