diff options
author | John DeNisco <jdenisco@cisco.com> | 2018-08-01 10:38:23 -0400 |
---|---|---|
committer | Damjan Marion <dmarion@me.com> | 2018-08-01 20:21:23 +0000 |
commit | a14c16674023bd6672ca49e3551c707702711050 (patch) | |
tree | 8f6fcd2a22356a0d16dce12f3b2bbdefbb37d7e7 /docs/reference/vppvagrant/VagrantVMSetup.rst | |
parent | e126cc53317fcc38970d244bea2ddaf11e47702f (diff) |
docs: change code blocks from "shell" to "console"
Change-Id: I136fccfc06e07fb68d11df686c59687362fb8827
Signed-off-by: John DeNisco <jdenisco@cisco.com>
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 |