summaryrefslogtreecommitdiffstats
path: root/docs/reference/vppvagrant/settingENV.rst
diff options
context:
space:
mode:
Diffstat (limited to 'docs/reference/vppvagrant/settingENV.rst')
-rw-r--r--docs/reference/vppvagrant/settingENV.rst2
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