2007-08-17 18:10:27 +00:00
|
|
|
add_1cmdline() {
|
2008-01-25 08:51:30 +00:00
|
|
|
echo '** Command line:' >&3
|
2008-01-25 08:50:00 +00:00
|
|
|
cat /proc/cmdline >&3
|
|
|
|
echo >&3
|
2007-08-17 18:10:27 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
ask_1cmdline() {
|
2008-01-25 08:50:00 +00:00
|
|
|
true
|
2007-08-17 18:10:27 +00:00
|
|
|
}
|