carlos@chernan:~/Desktop$ hotkeys
hotkeys: You must set the keyboard type, use hotkeys -t <type> to set it.
carlos@chernan:~/Desktop$ man hotkeys
gzip: stdout: No space left on device
man: command '/bin/gzip -dc /usr/share/man/man1/hotkeys.1.gz' failed with exit status 256
No existe entrada de manual para hotkeys
See 'man 7 undocumented' for help when manual pages are not available.
carlos@chernan:~/Desktop$ df -h
S.ficheros Tamaño Usado Disp Uso% Montado en
/dev/hdb1 6,5G 6,1G 0 100% /
tmpfs 506M 0 506M 0% /lib/init/rw
udev 10M 64K 10M 1% /dev
tmpfs 506M 0 506M 0% /dev/shm
/dev/hdb6 358G 3,8G 336G 2% /home
carlos@chernan:~/Desktop$