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$