Merge pull request #6 from s4hri/integrating_restserver

Added v7.2
s4hri · Oct 17, 2023 · 36d8cb8 · 36d8cb8
2 parents c927ada + ba74131
commit 36d8cb8
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 2 deletions.
diff --git a/.devcontainer.json b/.devcontainer.json
@@ -8,6 +8,19 @@
   "mounts": [
     "source=${localEnv:HOME}/.config/Code,target=/home/icub/.config/Code,type=bind,consistency=ro",
     "source=${localEnv:HOME}/.config/git,target=/home/icub/.config/git,type=bind,consistency=ro"
-  ]
+  ],
+    "customizations": {
+      "vscode": {
+
+          "settings": { 
+              "python.defaultInterpreterPath": "/usr/bin/python3"
+            },
+
+          "extensions": [
+              "ms-python.python",
+              "ms-python.vscode-pylance"
+            ]
+    }
+  }
 
 }
diff --git a/build.env b/build.env
@@ -2,7 +2,7 @@ DOCKYMAN_VER=v1.0
 REPOSITORY=iitschri
 PROFILE=development
 
-VERSION=v7.1-distro_v2022.02.0-ubuntu20.04
+VERSION=v7.2-distro_v2022.02.0-ubuntu20.04
 ICUB_DISTRO=v2022.02.0-ubuntu20.04
 
 PYICUB_BASE_DOCKER_SRC=${REPOSITORY}/robotology-superbuild-docker:${ICUB_DISTRO}