图文详解Vscode如何添加Maude条目。

小伙伴们知道Vscode如何添加Maude条目吗?今天酷牛教程小编就来讲解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条目的全部内容,更多精彩教程尽在酷牛教程教程!

本文来自投稿,不代表酷牛教程立场,如若转载,请注明出处:https://www.xukn.com/83158.html

(0)
上一篇 2020-06-12 15:35
下一篇 2020-06-12 16:17

相关推荐