Aula con GNU/Linux (Ubuntu)
Instalación inicial
Para configurar la sesión de prácticas hay que descargar el script de instalación install.php.sh y ejecutarlo. Para ello se pinchará en el enlace anterior con el botón derecho y se seleccionará la opción Guardar enlace como ... como muestra la figura.
El navegador suele descargar los ficheros en alguno de los siguientes directorios: directorio del usuario $HOME, subdirectorio Descargas o subdirectorio Escritorio.
Se deberá ejecutar dicho script desde un terminal (accesible desde el panel principal). A continuación se muestra un ejemplo de la ejecución suponiendo que el fichero de ha almacenado en el subdirectorio Descargas:
$ cd $ php Descargas/install.php.sh === Actualizando desde viver.disca.upv.es === +++ Actualizando ejecutable: install.sh === Relanzando ejecutable install.sh === +++ Actualizando ejecutables: cursobin.tgz bin/ bin/install.sh +++ Actualizando estructura web: cursophp.tgz Sites/lib/ Sites/lib/php/ Sites/lib/php/header.php ... +++ Obteniendo lista de paquetes +++ Actualizando directorio 02-lenguaje-php 02-lenguaje-php/ 02-lenguaje-php/texto/ ... Instalación completada. Pulse una tecla
Nota: Por simplicidad se han suprimido algunas de las líneas que aparecen en el terminal durante la ejecución.
Actualizando la instalación
Para actualizar la instalación durante el curso se deberá volver a ejecutar el último paso de la instalación inicial, auanque ya se podrá utilizar la versión instalada por el propio script en el directorio $HOME/bin.
$ cd $ php bin/install.php.sh ... Instalación completada. Pulse una tecla