diff options
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 |