Скопировать пару строк из файла в другой

Lupo Alberto написал:

text

sed -n -e '/post_install() {/,/^}/p' INSTALL | sed -e '1d;$d' -e 's/[[:space:]]*//'

Thanks, то что надо