In bash, ${f%.*} gives the basename of a file, minus the extension. Use in bash one-liners like:
for f in *xyz; do cat header $f >${f%.*}.inp ;done
In bash, ${f%.*} gives the basename of a file, minus the extension. Use in bash one-liners like:
for f in *xyz; do cat header $f >${f%.*}.inp ;done