vscode添加Maude条目教程分享

vscode添加Maude条目教程分享

vscode软件中的一些特殊插件在下载后,是需要单独在终端运行打开的,导致很多小伙伴都不知道该如何操作。那么具体的插件使用方法,也已经为大家整理在下方的文章中了。

vscode添加Maude条目教程分享

1.打开

插件管理器

窗口,搜索Maude插件

2.

新建

扩展名为maude的

文件

,查看代码语言

3.

打开

文件夹

终端

,运行maude程序

4.最后在

设置

栏目中

搜索file associations

,打开

settings.json

为maude条目

关联扩展名文件

即可

大家可以将添加到本地收藏,这样就能在遇到操作困扰时一键打开查阅啦!