Не теряет ли `make savedefconfig` параметры конфигурации?

Я начинаю так же

mknod exp.pipe p
wc -c < exp.pipe > pipe.c 2>&1 &
dd if=/dev/zero of=exp.pipe count=5

5+0 records in
5+0 records out
2560 bytes (2,6 kB) copied, 0,001472 s, 1,7 MB/s

, затем

cat pipe.c
2560

это не тихо, о чем вы спрашиваете, но это даст вам размер экспорта.

У меня нет man для утилиты exp , но в прежние времена использовалась опция предварительного просмотра, которая (при правильном синтаксическом анализе) могла бы дать вам подсказку о ее размере.