Это может работать для вас (GNU sed):
sed -i '1b;/^[0-9]\{3\}/!d' file
Не обрабатывать первую строку.Если после этого какая-либо строка не начинается хотя бы с 3 цифр, удалите ее.Параметр
NB -i
заменяет содержимое старого файла измененным файлом.Если несколько файлов размещены в соответствии с командами sed, они будут обрабатываться отдельно, т.е. заголовок каждого файла останется.Для достижения того же эффекта без перезаписи файлов используйте параметр -s
.
Другой способ:
sed '/^[0-9]\{3\}/b;1!d' file