Nuestros programadores estrellas han agotado sus provisiones de café, investigando noche y día por la resolución, hasta que Maya halló la contestación en Gogs y hoy la compartimos aquí.
Solución:
Puedes usar:
sed -e '/^;/d' php.ini
No necesita canalizar un archivo a través de grep, grep toma los nombres de archivo como argumentos de línea de comando.
grep -v '^#' file1 file2 file3
imprimirá todas las líneas EXCEPTO aquellas que comienzan con un carácter #. puede cambiar el carácter de comentario a lo que desee.
Si tiene más de un carácter de comentario (asumiendo que está al comienzo de una línea)
egrep -v '^(;|#|//)' filelist
egrep puede ahorrarle el uso de cat. En otras palabras, crear menos procesos (egrep contra cat+egrep) y use menos buffers (tubería desde cat para egrep vs sin tubería).
Por lo general, es una buena idea limitar el uso de cat si simplemente desea pasar un archivo a un comando que pueda leerlo por sí solo.
Dicho esto, el siguiente comando eliminará los comentarios, incluso si están sangrados con espacios o tabulaciones:
egrep -v '^[[:blank:]]*;' file.ini