La solución cuenta con dos scripts de Linux. El primero de ellos, llamado “verifica_cabeceras.sh”, comprueba si los ficheros cuya extensión coincida con alguna de las siguientes: JAVA, XML, JSP, CSS, DTD, HTML y PROPERTIES; disponen de cabecera de licenciamiento y genera 3 ficheros de texto. Estos son:

• Fichero "resultado_ficheros_con_cabecera.txt": contiene el listado de todos los ficheros que disponen de una cabecera (no tiene por qué ser una cabecera de licenciamiento).
• Fichero "resultado_ficheros_con_cabecera_extendido.txt": contiene el listado de todos los ficheros que disponen de una cabecera junto a su cabecera (no tiene por qué ser una cabecera de licenciamiento).
• Fichero "resultado_ficheros_sin_cabecera.txt": contiene el listado de los ficheros que no disponen de una cabecera.

El fichero "resultado_ficheros_sin_cabecera.txt" nos valdrá como base para la creación de el/los fichero/s TXT, origen de datos para la ejecución del script "adicion_cabeceras.sh".

El script permita ampliar fácilmente el listado de extensiones ya que está estructurado en procedimientos.

El script también cuenta con el uso opcional de parámetros. Dichos parámetros permiten cambiar el directorio y las extensiones a analizar.

Por último, el script cuenta con una ayuda que se accede añadiendo el parámetro "-h" al nombre del script.

El segundo script, llamado "adicion_cabeceras.sh", añade las cabeceras de licenciamiento (guardadas en un fichero fuente) a los ficheros cuya extensión coincida con alguna de las siguientes: JAVA, XML, JSP, CSS, DTD, HTML y PROPERTIES.

Se puede añadir o eliminar extensiones y cambiar el listado de ficheros a modificar. Para ello cuenta con un archivo llamado "variables.cfg" en el que se recogen las siguientes variables: 

• "fichero": fichero/s fuente dividido/s internamente en dos secciones: cabecera y listado de archivos a modificar. La sección "cabecera" contendrá la cabecera que se desee insertar y, el listado de archivos, los archivos a cambiar.
• "cabecera": esta variable contiene las extensiones de los ficheros a modificar.
• "directorio": directorio en el cual se encuentran los archivos a cambiar.

Este script, al igual que el anterior, permita ampliar fácilmente el listado de extensiones ya que está estructurado en procedimientos.

El script también cuenta con el uso opcional de parámetros. Dichos parámetros permiten cambiar el fichero fuente, el directorio y la extensión de los ficheros a los cuales añadir las cabeceras de licenciamiento.

También permite realizar una modificación de todos los ficheros cuya extensión coincida con las enumeradas anteriormente, dentro de un directorio completo y concreto.

Por último, el script cuenta con una ayuda que se accede añadiendo el parámetro "-h" al nombre del script.