Насколько я понимаю, наиболее логичным способом управления моими расширениями (и другими вещами, я полагаю) в VSCode является редактирование файла настроек. json файла. Я использую Debian Linux MX Continuum 18.3 и, основываясь на том, что я прочитал на inte rnet, его нужно найти в ~ / .config / Code / User, но там такого файла нет.