>首页> IT >

Vscode如何添加Maude条目?Vscode添加Maude条目的操作技巧

时间:2022-05-18 15:41:06       来源:下载之家

小伙伴们知道Vscode如何添加Maude条目吗?今天小编就来讲解Vscode添加Maude条目的方法,感兴趣的快跟小编一起来看看吧,希望能够帮助到大家。

Vscode如何添加Maude条目?

1.打开插件管理器窗口,搜索Maude插件(如图所示)。

Vscode如何添加Maude条目?Vscode添加Maude条目的方法

2.新建扩展名为maude的文件,查看代码语言(如图所示)。

Vscode如何添加Maude条目?Vscode添加Maude条目的方法截图

3.打开文件夹终端,运行maude程序(如图所示)。

Vscode如何添加Maude条目?Vscode添加Maude条目的方法截图

4.最后在设置栏目中搜索file associations,打开settings.json为maude条目关联扩展名文件即可(如图所示)。

Vscode如何添加Maude条目?Vscode添加Maude条目的方法截图

关键词: Vscode如何添加Maude条目 添加Maude条目 操作技巧