File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -8,18 +8,21 @@ eval "$(micromamba shell hook --shell bash )"
88if [ $( find . -maxdepth 1 -type d ! -name . ! -name .devcontainer | wc -l) -eq 0 ];
99then
1010
11- # move files selectively
11+ # move devcontainer.json selectively
1212
13- mv .devcontainer ..
13+ temp_dev=$( mktemp -d)
14+
15+ mv .devcontainer " $temp_dev "
1416 git clone " $target_repo " .
1517
16- mv -f ../.devcontainer/devcontainer.json .devcontainer
17- rm -rf ../.devcontainer
18+ mv -f " $temp_dev /.devcontainer/devcontainer.json" .devcontainer
19+ rm -rf " $temp_dev /.devcontainer"
20+
21+ # alternative: remove cloned and reinstate user .devcontainer folder
1822
19- # remove cloned and reinstate original .devcontainer folder
2023# rm -rf .devcontainer
2124# git clean -f -f
22- # mv .. /.devcontainer .
25+ # mv "$temp_dev /.devcontainer" .
2326
2427else
2528
You can’t perform that action at this time.
0 commit comments