vscode添加Maude条目教程分享

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

vscode添加Maude条目教程分享


vscode添加Maude条目教程分享1.打开插件管理器窗口,搜索Maude插件
vscode添加Maude条目教程分享


2.新建扩展名为maude的文件,查看代码语言
vscode添加Maude条目教程分享


3.打开文件夹终端,运行maude程序
vscode添加Maude条目教程分享


4.最后在设置栏目中搜索file associations,打开settings.json为maude条目关联扩展名文件即可
vscode添加Maude条目教程分享


【vscode添加Maude条目教程分享】大家可以将我们添加到本地收藏,这样就能在遇到操作困扰时一键打开查阅啦!

    推荐阅读