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