diff --git a/scripts/output_env.sh b/scripts/output_env.sh index 89425fce6..1d3470928 100755 --- a/scripts/output_env.sh +++ b/scripts/output_env.sh @@ -112,6 +112,9 @@ echo print_version "python" "--version" "" "head -n 1" echo +print_version "python3" "--version" "" "head -n 1" +echo + print_version "pylint3" "--version" "" "sed /^.*config/d" "grep pylint" echo