diff options
Diffstat (limited to 'docs/reference/vppvagrant/VagrantVMSetup.rst')
| -rw-r--r-- | docs/reference/vppvagrant/VagrantVMSetup.rst | 12 |
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 |