====== How to merge CSV files in the current directory ======
<code bash>
# set a variable to know if a ... # print everything
cat "$i"
# subsequent files won't be first anymore
first=0
else
# for non-first files, skip the first line
tail -n +2 "$i"
fi
don
done
# rename include and module names in source files to lowercase
for i in *.*; do
grep -q ".*.INC'"... (1\) = -999)/!\1/' j407xe.for
# download missing files
for i in \
adwdm/cfbuff.inc \
adwdm/cdrloc.in
err=$?
# if there was a wget error or the filesize is zero
if [ $err -ne 0 -o ! -s $fn ];... et=$(expr $offset + $count)
done
# merge geojson files
jq 'reduce inputs.features as $s (.; .features +=
