我现在安卓端重度依赖 operit ，只是近半个月 grep_code 工具不可用，`preparing ripgrep` 工具链在初始化阶段失败，很影响使用，望解决，跪谢！
我现在安卓端重度依赖 operit ，只是近半个月 grep_code 工具不可用，
preparing ripgrep工具链在初始化阶段失败，很影响使用，望解决，跪谢！