X-Git-Url: https://gerrit.fd.io/r/gitweb?a=blobdiff_plain;f=docs%2Freference%2Fvppvagrant%2FVagrantVMSetup.rst;fp=docs%2Freference%2Fvppvagrant%2FVagrantVMSetup.rst;h=f9f4304ed94497c9bf58ba90a60b46019473108f;hb=a14c16674023bd6672ca49e3551c707702711050;hp=769c6186170d0bf303f98eb5a83419695ea72903;hpb=e126cc53317fcc38970d244bea2ddaf11e47702f;p=vpp.git

diff --git a/docs/reference/vppvagrant/VagrantVMSetup.rst b/docs/reference/vppvagrant/VagrantVMSetup.rst
index 769c6186170..f9f4304ed94 100644
--- a/docs/reference/vppvagrant/VagrantVMSetup.rst
+++ b/docs/reference/vppvagrant/VagrantVMSetup.rst
@@ -6,7 +6,7 @@ Accessing your VM
 ^^^^^^^^^^^^^^^^^
 ssh into the newly created box:
 
-.. code-block:: console
+.. code-block:: shell
 
     $ vagrant ssh <id>
 
@@ -28,7 +28,7 @@ Sample output looks like:
 
 Become the root with:
 
-.. code-block:: console
+.. code-block:: shell
 
     $ sudo bash
 
@@ -38,19 +38,19 @@ When you ssh into your Vagrant box you will be placed in the directory */home/va
 
 For Ubuntu systems:
 
-.. code-block:: console
+.. code-block:: shell
     
     # dpkg -i *.deb
 
 For CentOS systems:
 
-.. code-block:: console
+.. code-block:: shell
     
     # rpm -Uvh *.rpm
 
 
 Since VPP is now installed, you can start running VPP with:
 
-.. code-block:: console
+.. code-block:: shell
   
-  # service vpp start 
\ No newline at end of file
+    # service vpp start