add_1cmdline() { echo '** Command line:' >&3 cat /proc/cmdline >&3 echo >&3 } ask_1cmdline() { true }