++terminal_activity(void)
++{
++  char buf[64];
++  size_t len;
++
++  /* read terminal activity */
++  len = Eread(t.fd, buf, sizeof(buf));
++  /* write activity to user */
++  EwriteAll(STDOUT_FILENO, buf, len);
++}
++