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