f1 и f2 являются сроком начала работы и время, l1, и l2 являются конечной датой и временем:
awk -F_ -v f1="2012251" -v f2="140200" -v l1="2012252" -v l2="060700" '($2==f1 && $3>=f2) || ($2==l1 && $3<=l2) || ($2>f1 && $2<l1)' file
Это соглашение, используемое как для сохранения уникальности имен файлов, так и для управления порядком выполнения скриптов. В общем, каталоги xx.d сканируются чем-то, выполняющим моральный эквивалент для файла в /etc/grub.d/*; do ...
, а числовые префиксы определяют порядок, отличный от алфавитного. Могут существовать специфические для приложения стандарты для 4x_foo
и 9x_foo
, но они не соответствуют всем каталогам xx.d.