ASO::final-project: Add syntax highling to console output

Signed-off-by: Nicolás A. Ortega Froysa <nicolas@ortegas.org>

2/ASO/assignments/final-project/web-system-naortega.tex

@@ -156,9 +156,9 @@ forma estática.
 Primero, para configurar las direcciones IP estáticas. Para esto, debemos de
 deshabiltar el servicio de NetworkManager que lo tiene Debian por defecto:
 
-\begin{minted}{bash}
+\begin{minted}{console}
-systemctl stop network-manager.service
+# systemctl stop network-manager.service
-systemctl disable network-manager.service
+# systemctl disable network-manager.service
 \end{minted}
 
 Una vez deshabilitado el NetworkManager, ya podemos empezar a modificar los
@@ -166,7 +166,8 @@ archivos de configuración de red. El primer paso será definir una dirección I
 estática. Para empezar, encontramos cuál es el nombre de nuestro interfaz, que
 se puede hacer utilizando el comando {\tt ip a}.
 
-\begin{minted}{text}
+\begin{minted}{console}
+# ip a
 1: lo: <LOOPBACK,UP,LOWER_UP> mtu 65536 qdisc noqueue state
 UNKNOWN group default qlen 1000
     link/loopback 00:00:00:00:00:00 brd 00:00:00:00:00:00
@@ -222,9 +223,9 @@ comando {\tt chattr +i /etc/resolv.conf}. Una vez configurado ya podemos
 reiniciar el servicio de {\it networking} y veremos como hace uso de la
 configuración especificada. Esto lo hacemos del modo siguiente:
 
-\begin{minted}{bash}
+\begin{minted}{console}
-systemctl restart networking.service
+# systemctl restart networking.service
-ifup enp0s3
+# ifup enp0s3
 \end{minted}
 
 \section{Active Directory}
@@ -327,9 +328,9 @@ antes (que instala el cliente y el servidor).
 La base de datos, como se explicó anteriormente, será un servidor con el
 programa MariaDB. Lo primero es instalar MariaDB como tal:
 
-\begin{minted}{bash}
+\begin{minted}{console}
-apt update
+# apt update
-apt install mariadb-server
+# apt install mariadb-server
 \end{minted}
 
 Aunque el paquete se llama {\tt mariadb-server}, incluye también un cliente muy
@@ -359,7 +360,7 @@ trabajar ya sobre la base de datos, lo que nos conviene es actualizarlos: <<y>>.
 Una vez que hayamos terminado, ya podremos conectarnos al servidor de base de
 datos con el comando {\tt mysql} de la forma siguiente:
 
-\begin{minted}{text}
+\begin{minted}{console}
 # mysql -u root -p
 Enter password:
 Welcome to the MariaDB monitor.  Commands end with ; or \g.
@@ -397,8 +398,8 @@ editar el archivo que se encuentra en /etc/mysql/mariadb.conf.d/50-server.cnf y
 comentar -- poner un {\tt \#} al principio de la línea -- la línea que contiene
 la cadena de texto {\tt bind-address}. Al hacer esto, reiniciamos el servicio:
 
-\begin{minted}{bash}
+\begin{minted}{console}
-systemctl restart mariadb.service
+# systemctl restart mariadb.service
 \end{minted}
 
 \section{Servidor Web}
@@ -408,9 +409,9 @@ systemctl restart mariadb.service
 En nuestro servidor web, con nombre {\tt web0} queremos instalar el programa
 Nginx. Para esto hemos de correr los comandos siguientes:
 
-\begin{minted}{bash}
+\begin{minted}{console}
-apt update
+# apt update
-apt install nginx
+# apt install nginx
 \end{minted}
 
 Esto no sólo instalará Nginx, sino que también lo inicializará, de tal modo que
@@ -427,8 +428,8 @@ saldrá la página por defecto de Nginx (figura \ref{fig:default-nginx-page}).
 Como nuestra intención es crear una página web de WikiMedia, será necesario
 instalar PHP además de algunos módulos:
 
-\begin{minted}{bash}
+\begin{minted}{console}
-apt install php php-intl php-xml php-mbstring php-fpm php-mysql
+# apt install php php-intl php-xml php-mbstring php-fpm php-mysql
 \end{minted}
 
 Una vez instalado, ya podemos instalar nuestra aplicación web WikiMedia. Para
@@ -442,8 +443,8 @@ este usuario -- pueda editar los archivos y crear algunos nuevos.
 
 \footnotetext{\url{https://www.mediawiki.org/wiki/Download}}
 
-\begin{minted}{bash}
+\begin{minted}{console}
-chown -R www-data:www-data /var/www/wiki
+# chown -R www-data:www-data /var/www/wiki
 \end{minted}
 
 Ahora, para configurar Nginx para este directorio, hemos de navegar al
@@ -451,7 +452,7 @@ directorio {\tt /etc/nginx/sites-available}. Ahí crearemos una copia del archiv
 {\tt default} que se denominará {\tt wiki.conf}. Lo editamos para que sea de la
 forma siguiente (habilitando PHP):
 
-\begin{minted}{text}
+\begin{minted}{nginx}
 server {
         listen 80 default_server;
         listen [::]:80 default_server;
@@ -480,7 +481,7 @@ un enlace simbólico a nuestra configuración que acabamos de crear. Una vez hec
 esto, podemos verificar si nuestra configuración está bien corriendo una prueba
 de Nginx.
 
-\begin{minted}{bash}
+\begin{minted}{console}
 # rm default
 # ln -s ../sites-available/wiki.conf ./
 # nginx -t