[Tech] problemino di bash

[Valerio Montagnani]

Ciao, vediamo se riesco a farvi capire il problemuccio.

La seguente riga fa parte di un file di configurazione che informa alcune funzioni di un bash-script del tipo di sorgenti che si trova a trattare. Ho bisogno di commentare questa riga, in modo che un secondo bash-script usi ancora il file di configurazione, ma con altri tipi di formato in ingresso.

SOURCEKIND = WAV  # Microsoft Wave Format input file

Riesco a individuare la riga usando grep, ma non so come inserire il carattere di commento bash "#" all'inizio di questa.

Mi potreste dare un'idea a riguardo?

Grazie, Valerio


-- 
Valerio Montagnani: <tech@vmontagnani.it>
ASR - Automatic Speech Recognition
Key fingerprint: 23E8 EB9B ED1A 6E5D 45C8  B8DA AA00 48D8 A203 1E26