message: Make `TRACE=TIME:1,PM:1` default
  Summary:
  Add option `-q`/`--quiet` to `redex.py`. If set, remove `TRACE` from the environment. If unset, ensure that `TRACE` is not unset and use `TIME:1,PM:1` if necessary.
  Note: `-q` was previously a short version of `--printseeds`. That binding has been changed.
diff: @@ -430,7 +430,16 @@ def run_redex_binary(state, term_handler):
  print("cd %s && %s" % (os.getcwd(), " ".join(prefix + list(map(quote, args)))))
  sys.exit()
  - env = logger.setup_trace_for_child(os.environ)
  + env = os.environ.copy()
  + if state.args.quiet:
  + # Remove TRACE if it exists.
  + env.pop("TRACE", None)
  + else:
  + # Check whether TRACE is set. If not, use "TIME:1,PM:1".
  + if "TRACE" not in env:
  + env["TRACE"] = "TIME:1,PM:1"
  +
  + env = logger.setup_trace_for_child(env)
  logger.flush()
  add_extra_environment_args(env)
  @@ -655,7 +664,7 @@ Given an APK, produce a better APK!
  help="Path to proguard mapping.txt for deobfuscating names",
  )
  - parser.add_argument("-q", "--printseeds", nargs="?", help="File to print seeds to")
  + parser.add_argument("--printseeds", nargs="?", help="File to print seeds to")
  parser.add_argument(
  "--used-js-assets",
  @@ -781,6 +790,13 @@ Given an APK, produce a better APK!
  help="Reset zip timestamps for deterministic output",
  )
  + parser.add_argument(
  + "-q",
  + "--quiet",
  + action="store_true",
  + help="Do not be verbose, and override TRACE.",
  + )
  +
  return parser
  