diff options
Diffstat (limited to 'docs')
| -rwxr-xr-x | docs/scripts/sphinx-make.sh | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/docs/scripts/sphinx-make.sh b/docs/scripts/sphinx-make.sh index 61356bb1b8f..b00fb228ca7 100755 --- a/docs/scripts/sphinx-make.sh +++ b/docs/scripts/sphinx-make.sh @@ -11,6 +11,7 @@ fi # Get the OS OS_ID=$(grep '^ID=' /etc/os-release | cut -f2- -d= | sed -e 's/\"//g') +OS_VERSION=$(grep '^VERSION_ID=' /etc/os-release | cut -f2- -d= | sed -e 's/\"//g') if [ "$1" == "venv" ] then @@ -21,7 +22,12 @@ then fi if [ "$OS_ID" == "centos" ] then - sudo yum install $CONFIRM python3-venv + if [ "$OS_VERSION" == "8" ] + then + sudo yum install $CONFIRM python3-virtualenv + else + sudo yum install $CONFIRM python3-venv + fi fi # Install the virtual environment |