Eu resolvi isso! Removendo o ''
após -i
:
sed -i '' 's/^[.0-9]* # number of configurations$/'"$line_no"' # number of configurations/' corr.in
Assim, tudo funciona de novo:
sed -i 's/^[.0-9]* # number of configurations$/'"$line_no"' # number of configurations/' corr.in
Tudo parece funcionar perfeitamente