Vscode怎样编写Maude?Vscode编写Maude的方法
今天为你们带来的文章是关于Vscode软件的,你们知道Vscode怎样编写Maude吗?下文小编就为各位带来了Vscode编写Maude的方法,感兴趣的用户一同来下文看看吧。
Vscode怎样编写Maude?Vscode编写Maude的方法
首先在vscode插件管理器可以搜索到Maude插件。
接着,新建扩展名为maude的文件,即可使用maude的代码段和语法高亮。
终端->新建终端可以在当前文件夹打开vscode内置终端,来运行maude或者full-maude程序。
在maude的官方教程中,还有http客户端的例子,可以如图方式调用运行。
如果希望关联fm扩展名的文件,打开设置,在用户设置中,搜索file associations,打开settings.json。
给文件关联添加一个条目,即*.fm到maude的条目即可。但是full-maude定义了更多语法,并不都被maude插件的语法高亮所支持。
以上就是给大家分享的Vscode编写Maude的方法,更多精彩教程尽在电脑系统之家。
最新推荐
-
word怎么删除其中某一页 删除word某页的方法
word怎么删除其中某一页?在使用Word进行编辑文档时,有时可能需要删除文档中的某一页。如果文档内容太多 […]
-
excel表格如何显示页眉页脚 Excel怎么设置页眉页脚
excel表格如何显示页眉页脚?excel是一款强大的数据编辑软件,与word一样,excel表格也拥有强 […]
-
steam游戏安装文件夹在哪里 steam游戏的安装目录
steam游戏安装文件夹在哪里?在Steam平台中,所有用户购买下载安装的游戏都会存储在默认的文件夹中,但 […]
-
wps怎么合并多个文档 wps多个word合并成一个word
wps怎么合并多个文档?Wps办公软件是当下一款强大的办公处理软件,能方便用户对文档文字进行编辑操作,提高 […]
-
如何修改steam默认安装路径 steam默认下载路径更改
如何修改steam默认安装路径?在steam平台中,用户所下载安装的游戏都会在默认的文件夹中,如果安装的游 […]
-
谷歌浏览器下载文件存储位置怎么修改
谷歌浏览器下载文件存储位置怎么修改?谷歌浏览器是一款开源的强大的浏览器,支持用户进行自定义的设置,那如果用 […]