Run script/setup in devcontainer instead of pip install (#1913)

This commit is contained in:
Otto Winter 2021-06-15 10:19:21 +02:00 committed by GitHub
parent d781f3a11b
commit 424c34225f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -4,7 +4,7 @@ set -e
# set -x # set -x
mkdir -p config mkdir -p config
pip3 install -e . script/setup
cpp_json=.vscode/c_cpp_properties.json cpp_json=.vscode/c_cpp_properties.json
if [ ! -f $cpp_json ]; then if [ ! -f $cpp_json ]; then