add_dmesg() {
  echo '** Kernel log:' >&3
  dmesg | tail -n 100 >&3
  echo >&3
}

ask_dmesg() {
  true
}
