User Tools

Site Tools


wiki:info_tips

Setting user name

  1. Open a terminal and type the following lines replacing 3 with your computer number (1-25) :
cd ~
sudo usermod -l  student3  user
  1. password: user
  2. Close the terminal

Keyboard settings by command line

Open a terminal: go to Applications ⇒ accessory ⇒ Terminal
type setxkbmap es
return

Keyboard settings by GUI

Go to Preferences ⇒ Keyboard ⇒ Tab ⇒ Layouts

Select + Add ..
Choose Layout Spanish ⇒ Variant Default ⇒ + Add ..
Select Spain as defaults
Select Keyboard Model ⇒ Model vendor = Dell
Model = Dell USB Multimedia ⇒ Ok ⇒ close

Screen resolution

Try the 1024 x 768 as follows: System ⇒ Preferences ⇒ Screen resolution ⇒ 1024 x 768 ⇒ Apply
If it is not working try to increase or decrease according to your new resolution

There is more info at WMplayer help shared folder section

If your guest OS is linux, to see your shared folder you have to mount it first:
  • mkdir /home/user/share
  • sudo mount -t vmhgfs .host:/ /home/user/share

Keyboard symbols in programing

Character Keyboard Name
| Alt Gr + 1 Pipe
~ Alt Gr + 4 + Alt Gr + 4 Tilde
Shift + 2 Double quotation
' ' (under ? question mark) Single quotation
| + ` ( Left of P ) Back quotation
^ Shift + ^ Shift + ^ Hat
wiki/info_tips.txt · Last modified: 2017/12/05 22:53 (external edit)