Format Bash code

doc/PROXY_CONFIG.md

@@ -2,23 +2,23 @@
 
 If you are using a proxy with basic authentication (not NTLM), you will have to configure it for Bundler and Vagrant.
 	* From your host command line do
-		```
+```
 		SET HTTP_PROXY=http://_XXX.XXX.XXX.XXX_:_port_
 		SET HTTPS_PROXY=ttp://_XXX.XXX.XXX.XXX_:_port_
 		SET HTTP_PROXY_USER=_proxyuser_
 		SET HTTPS_PROXY_USER=_proxyuser_
 		SET HTTP_PROXY_PASS=_userpasswd_
 		SET HTTPS_PROXY_PASS=_userpasswd_
-		```
+```
 		on a Windows host, or
-		```export HTTP_PROXY=http://_XXX.XXX.XXX.XXX_:_port_
-
+```
+		export HTTP_PROXY=http://_XXX.XXX.XXX.XXX_:_port_
 		export HTTPS_PROXY=ttp://_XXX.XXX.XXX.XXX_:_port_
 		export HTTP_PROXY_USER=_proxyuser_
 		export HTTPS_PROXY_USER=_proxyuser_
 		export HTTP_PROXY_PASS=_userpasswd_
 		export HTTPS_PROXY_PASS=_userpasswd_
-		```
+```
 		on a Linux host.
 	* From the command line `vagrant plugin install vagrant-proxyconf-1.5.2.gem`
 	* Last edit Vagrantfile and change config.proxy.http, config.proxy.https and config.proxy.no_proxy values to the right IP and port and user/password.

doc/TROUBLESHOOT.md

@@ -2,18 +2,18 @@
 
 In case you have made any change to Vagrantfile then validate it with:
 
-	`vagrant validate`
+`vagrant validate`
 
 In case you need a full debug trace during VM creation you may use:
 
-	`vagrant up machine_name -- debug > vagrant_debug.log 2>&1`
+`vagrant up machine_name -- debug > vagrant_debug.log 2>&1`
 
 For watching your SSH configuration use:
 
-	`vagrant ssh-config`
+`vagrant ssh-config`
 
 For trying to stablish an SSH connection with debug enabled use:
 
-	`vagrant ssh -- -vvv`
+`vagrant ssh -- -vvv`
 
 At Vagrantfile, set `vb.gui = true` enable the GUI of VirtualBox and see whether the VM is waiting for input on startup

doc/VBOX_CONFIG.md

@@ -59,9 +59,10 @@ to list the available drives.
 You should get in the list **/dev/hdb** or **/dev/sdb** depending on whether you are using spinning or solid states physical drives.
 
 Now execute:
-`
+```
 sudo pvcreate /dev/sdb
 sudo vgextend cl /dev/sdb
 sudo lvextend -L+2G /dev/cl/swap
-`
+```
+
 this will add 2Gb to the swap space.