ho una regex cosi composta per estrarre le righe che contengono un orario:

sed -n /'(11)|(12).[0-9][0-9]'/p tv

in cui non riesco a farla funzionare con i gruppi
es ore 11 oppure 12

mentre con un orario alla volta funziona

sed -n /'11.[0-9][0-9]'/p tv

in pratica chiedo aiuto per impostare la sintassi dei gruppi

ho provato anche doppie parentesi ma niente

sed -n /'((11)|(12)).[0-9][0-9]'/p tv

oppure senza

sed -n /'11|12.[0-9][0-9]'/p tv


grazie