summaryrefslogtreecommitdiffstats
path: root/docs/reference/vppvagrant/VagrantVMSetup.rst
diff options
context:
space:
mode:
Diffstat (limited to 'docs/reference/vppvagrant/VagrantVMSetup.rst')
-rw-r--r--docs/reference/vppvagrant/VagrantVMSetup.rst12
1 files changed, 6 insertions, 6 deletions
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