Change a CSV header from=number to=quantity sed -i "1 s///" "".csv Remove crap from bash history 1sed -i -r '/([^ ]{100,})\s?$/d' $HISTFILE Combine many recfiles of different types into one 1sed '1i\ ' *.rec > all.rec Combine many recfiles of the same type into one 1recinf -d -t ${type} ${one}.rec > ${all}.rec 2sed …

Read More