vscode软件中的一些特殊插件在下载后,是需要单独在终端运行打开的,导致很多小伙伴都不知道该如何操作。那么具体的插件使用方法,也已经为大家整理在下方的文章中了。
vscode添加Maude条目教程分享1.打开
插件管理器
窗口,搜索Maude插件2.
新建
扩展名为maude的文件
,查看代码语言3.
打开
文件夹终端
,运行maude程序4.最后在
设置
栏目中搜索file associations
,打开settings.json
为maude条目关联扩展名文件
即可大家可以将添加到本地收藏,这样就能在遇到操作困扰时一键打开查阅啦!