Uso y disfrute del laboratorio

Las prácticas de la asignatura se realizan bajo el sistema operativo GNU/Linux. Los puestos de trabajo son pc's, situados en el laboratorio 1L103, pero algunos directorios, incluidos los de los usuarios, y todo el sistema de autorización de acceso está exportado por el servidor jair. Esto hace que el entorno del usuario sea siempre el mismo, independientemente de la estación utilizada, y el mismo que en jair.

Se trata de un entorno de trabajo muy configurable, por lo que cada usuario debería adaptarlo a sus gustos particulares. En esta página recogemos tan solo algunas sugerencias al respecto.

Comandos por defecto al arrancar la sesión de trabajo.
Se almacenan en el fichero $HOME/.bashrc. Dependiendo de la forma en que se arranque la sesión, estos comandos pueden ser ejecutados o no (más adelante indicamos cómo forzar a que siempre sean ejecutados). Para hacerlo manualmente:
```
. $HOME/.bashrc # Ojo con el punto inicial, es importante ;-)
```
Algunos comandos útiles para el profile pueden ser los siguientes:
```
# Cambiar el prompt primario y secundario
# Los colores facilitan la lectura de salidas largas
export PS1="^[[31m`uname -n | cut -d. -f1`>^[0m "
export PS2="^[[31m···>^[[0m"
# Alias a gusto del usuario
# ahorran pulsaciones de teclado.
alias vi='vim -g'
alias ll='ls -l --color'
alias acro='/usr/local/acrobat4/bin/acroread'
```
Considere que ^[representa el carácter escape. Para escribirlo en vim precedemos el carácter escape por control-V.
Comandos por defecto para el editor vim.
Se almacenan en el fichero $HOME/.vimrc, fichero que puede no haber sido creado por defecto en el sistema. En él podemos fijar nuestras preferencias para el manejo de vim. Algunas opciones interesantes pueden ser:
```
" Ejemplo de fichero .vimrc
" Para que muestre la correspondencia entre paréntesis
set showmatch
" Mostrará en la parte inferior de la pantalla el modo de trabajo y 
" la posición del cursor.
set ru
" El ratón también existe.
set mouse=a
" También aquí se pueden realizar abreviaturas
" cuando escribes la palabra mic el entiende...
" Ojo: ^R significa Control-R. Para escribirlo, como en el caso del escape,
" hay que precederlo de Control-V
iab mic ^R=strftime("©-TuNombre %B de %Y")
" Al editar un fichero eiffel nuevo, nos copia en él el esqueleto.
" Sólo funciona si tenemos un esqueleto con ese nombre, claro.
:autocmd BufNewFile *.e :r ~/modelos/modelo.e
```
Para iluminar la sintáxis del fichero editado puede utilizarse la orden :syntax on. Los colores asignados por defecto por el editor pueden no ser los más adecuados para el terminal utilizado. Podemos variar la asignación de colores para fondo claro :set background=light u oscuro :set background=dark. Además en el directorio /usr/share/vim/vim71/colors existen un conjunto de configuraciones de color que pueden ser utilizadas directamente, por ejemplo activándolos con la orden :so desde el fichero .vimrc o servir de modelo para configuraciones personales.
Para hacerse una idea rápida de las capacidades de vim lo mejor es leer la explicación en 6 K, que junto con el resto de la información sobre vim, código fuente y binarios para diversos sistemas operativos y/o arquitecturas, está disponible en su página oficial. Además vim dispone de una ayuda en linea (comando :help)

Opciones por defecto para las aplicaciones X.

Se almacenan en el fichero $HOME/.Xdefaults

En éste fichero podemos fijar las opciones de arranque de diversas aplicaciones, como por ejemplo dtterm. Algunas opciones para mejorar la legibilidad del terminal son:

! Como decíamos al principio se puede forzar a xterm para que siempre
! ejecute el fichero .profile
Xterm*loginShell:True
! También se pueden cambiar los colores por defecto, o el tipo de letra.
*customization: -color
Xterm*background:grey
Xterm*foreground:black
Xterm*font:10x20

Enlaces

Uso y disfrute del laboratorio