File tree Expand file tree Collapse file tree 1 file changed +10
-1
lines changed Expand file tree Collapse file tree 1 file changed +10
-1
lines changed Original file line number Diff line number Diff line change @@ -10,7 +10,16 @@ echo -e "${BLUE}#############################################################${E
1010
1111echo -e " \n${GREEN} > Fix Mypy extension.${ENDCOLOR} \n"
1212
13- ORIGINAL_FILE=" $HOME /.vscode-server/extensions/ms-python.mypy-type-checker-2023.4.0/bundled/tool/lsp_server.py"
13+ ORIGINAL_FILE_1=" $HOME /.vscode-server/extensions/ms-python.mypy-type-checker-2023.4.0/bundled/tool/lsp_server.py"
14+ ORIGINAL_FILE_2=" $HOME /.vscode-server/extensions/ms-python.mypy-type-checker-2023.6.0/bundled/tool/lsp_server.py"
15+
16+ if [ -f " $ORIGINAL_FILE_1 " ]; then
17+ $ORIGINAL_FILE =$ORIGINAL_FILE_1
18+ fi
19+
20+ if [ -f " $ORIGINAL_FILE_2 " ]; then
21+ $ORIGINAL_FILE =$ORIGINAL_FILE_2
22+ fi
1423
1524if [ -f " $ORIGINAL_FILE " ]; then
1625
You can’t perform that action at this time.
0 commit comments