//执行
private void playRunTime(String cmd) throws Exception {
Process p = Runtime.getRuntime().exec(cmd);
InputStream is = p.getInputStream();
BufferedReader reader = new BufferedReader(new InputStreamReader(is));
String line;
while ((line = reader.readLine()) != null) {
tv_result.append(line + "\n");
}
p.waitFor();
is.close();
reader.close();
p.destroy();
}
若cmd 执行后回显的字符太长，导致string 无法完整保存结果该如何处理
StringBuilder outputBuilder = new StringBuilder();
String line;
while ((line = reader.readLine()) != null) {
outputBuilder.append(line).append("\n");
}
git push mega HEAD:refs/for/
repo forall -c 'git reset --hard'
repo forall -c 'git clean -f -d'
repo sync -d -c --no-tags