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/settingENV.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/settingENV.rst')
| -rw-r--r-- | docs/reference/vppvagrant/settingENV.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/reference/vppvagrant/settingENV.rst b/docs/reference/vppvagrant/settingENV.rst index 269b36bda84..8bd7847d36c 100644 --- a/docs/reference/vppvagrant/settingENV.rst +++ b/docs/reference/vppvagrant/settingENV.rst @@ -24,6 +24,6 @@ Adding your own ENV variables is easy. For example, if you wanted to setup proxi Once you're finished with *env.sh* script, and you are in the directory containing *env.sh*, run the script to set the ENV variables with: -.. code-block:: console +.. code-block:: shell $ source ./env.sh |