From af9cb706b2fb86fd2b0c700fa439ac34d36816c8 Mon Sep 17 00:00:00 2001 From: Laurens Valk Date: Tue, 3 Mar 2020 12:06:16 +0100 Subject: [PATCH] update_workspaces: auto update all ev3 folders And in doing so, add empty folders for the new projects to be added to. --- .../official_models_ev3_education_core.code-workspace | 10 ++++++++++ ...icial_models_ev3_education_expansion.code-workspace | 6 ++++++ .../ev3/home/official_models_ev3_home.code-workspace | 6 ++++++ .../official_models_ev3_home_bonus.code-workspace | 6 ++++++ update_workspaces.py | 5 ++++- 5 files changed, 32 insertions(+), 1 deletion(-) create mode 100644 official_models/ev3/education_core/official_models_ev3_education_core.code-workspace create mode 100644 official_models/ev3/education_expansion/official_models_ev3_education_expansion.code-workspace create mode 100644 official_models/ev3/home/official_models_ev3_home.code-workspace create mode 100644 official_models/ev3/home_bonus/official_models_ev3_home_bonus.code-workspace diff --git a/official_models/ev3/education_core/official_models_ev3_education_core.code-workspace b/official_models/ev3/education_core/official_models_ev3_education_core.code-workspace new file mode 100644 index 0000000..6fbfad8 --- /dev/null +++ b/official_models/ev3/education_core/official_models_ev3_education_core.code-workspace @@ -0,0 +1,10 @@ +{ + "folders": [ + { + "path": "robot_arm" + } + ], + "settings": { + "debug.openDebug": "neverOpen" + } +} \ No newline at end of file diff --git a/official_models/ev3/education_expansion/official_models_ev3_education_expansion.code-workspace b/official_models/ev3/education_expansion/official_models_ev3_education_expansion.code-workspace new file mode 100644 index 0000000..5f684e4 --- /dev/null +++ b/official_models/ev3/education_expansion/official_models_ev3_education_expansion.code-workspace @@ -0,0 +1,6 @@ +{ + "folders": [], + "settings": { + "debug.openDebug": "neverOpen" + } +} \ No newline at end of file diff --git a/official_models/ev3/home/official_models_ev3_home.code-workspace b/official_models/ev3/home/official_models_ev3_home.code-workspace new file mode 100644 index 0000000..5f684e4 --- /dev/null +++ b/official_models/ev3/home/official_models_ev3_home.code-workspace @@ -0,0 +1,6 @@ +{ + "folders": [], + "settings": { + "debug.openDebug": "neverOpen" + } +} \ No newline at end of file diff --git a/official_models/ev3/home_bonus/official_models_ev3_home_bonus.code-workspace b/official_models/ev3/home_bonus/official_models_ev3_home_bonus.code-workspace new file mode 100644 index 0000000..5f684e4 --- /dev/null +++ b/official_models/ev3/home_bonus/official_models_ev3_home_bonus.code-workspace @@ -0,0 +1,6 @@ +{ + "folders": [], + "settings": { + "debug.openDebug": "neverOpen" + } +} \ No newline at end of file diff --git a/update_workspaces.py b/update_workspaces.py index dfaa5f3..7fb8fc8 100755 --- a/update_workspaces.py +++ b/update_workspaces.py @@ -33,7 +33,10 @@ def make_workspace(root): # Make all the workspaces roots = ( path.join('snippets', 'ev3'), - path.join('official_models', 'ev3'), + path.join('official_models', 'ev3', 'education_core'), + path.join('official_models', 'ev3', 'education_expansion'), + path.join('official_models', 'ev3', 'home'), + path.join('official_models', 'ev3', 'home_bonus'), ) for root in roots: