config=${1:-ecos-gen.ecc} ecosconfig --config=$config new linux default cat >> $config <