!7

p {
  final File wavFile = anonymousWAVEFile();
  S cmd = "arecord -f S16_LE -r 44100 -d 5 " + bashQuote(wavFile);
  File outFile = File.createTempFile("arecord", "");
  final Process p = backtickToFile_noWait(cmd, outFile);
  print("Recording to " + f2s(wavFile));
  showButtons("Stop recording", r-thread {
    killProcess(p);
    sleepSeconds(1);
    print("Recorded " + fileSize(wavFile) + " bytes.");
  });
}