From 2e7524e5348e1a87ab2234685f024d7de9ea786c Mon Sep 17 00:00:00 2001 From: Nils Dijk Date: Thu, 28 Sep 2023 13:51:58 +0000 Subject: [PATCH] use python3.9 for vscode script --- .devcontainer/.vscode/Pipfile | 2 +- .devcontainer/.vscode/Pipfile.lock | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.devcontainer/.vscode/Pipfile b/.devcontainer/.vscode/Pipfile index 48dfb1118c7..57909c897df 100644 --- a/.devcontainer/.vscode/Pipfile +++ b/.devcontainer/.vscode/Pipfile @@ -9,4 +9,4 @@ docopt = "*" [dev-packages] [requires] -python_version = "3" +python_version = "3.9" diff --git a/.devcontainer/.vscode/Pipfile.lock b/.devcontainer/.vscode/Pipfile.lock index 2d51c1a1836..52ee8663cb8 100644 --- a/.devcontainer/.vscode/Pipfile.lock +++ b/.devcontainer/.vscode/Pipfile.lock @@ -1,11 +1,11 @@ { "_meta": { "hash": { - "sha256": "5906b8027becd04da3d9bb9747c503339361f5ab52d8f83078f6abbde6a37440" + "sha256": "6956a6700ead5804aa56bd597c93bb4a13f208d2d49d3b5399365fd240ca0797" }, "pipfile-spec": 6, "requires": { - "python_version": "3" + "python_version": "3.9" }, "sources": [ {