vscode怎么编写Maude程序? Maude插件在vscode的用法
发布时间：2021-12-22 11:26:17 作者：佚名 
我要评论
我要评论vscode怎么编写Maude程序？vscode中想要编写Maude文件，需要使用Maude插件来实现，下面我们就来看看Maude插件在vscode的用法
在WSL/linux系统中，想要使用vscode编写Maude。我们需要使用Maude插件实现部分语法高亮，下面我们就来看看详细的教程。
首先在vscode插件管理器可以搜索到Maude插件。
接着，新建扩展名为maude的文件，即可使用maude的代码段和语法高亮。
终端->新建终端可以在当前文件夹打开vscode内置终端，来运行maude或者full-maude程序。
在maude的官方教程中，还有http客户端的例子，可以如图方式调用运行。
如果希望关联fm扩展名的文件，打开设置，在用户设置中，搜索file associations，打开settings.json。
给文件关联添加一个条目，即*.fm到maude的条目即可。但是full-maude定义了更多语法，并不都被maude插件的语法高亮所支持。
以上就是Maude插件在vscode的用法，希望大家喜欢，请继续关注脚本之家。
相关推荐：
vscode怎么打包vue项目? vscode中vue项目打包流程
vscode如何运行python? vs code新建并运行python代码的技巧
相关文章
vscode插件Markdown PDF插件转换PDF错误该怎么办?
Markdown PDF插件转换PDF错误该怎么办？VSCode中的插件Markdown PDF转换PDF时Chromium下载失败，提示Failed to download Chromium! 该怎么办呢？下面我们就来看看详细的解2021-12-17
VSCode中LeetCode插件怎么安装并使用? LeetCode插件安装教程
VSCode中LeetCode插件怎么安装并使用？VSCode中想要安装LeetCode插件，该怎么安装，安装后该怎么使用呢？下面我们就来看看LeetCode插件安装教程2021-10-18
VSCode文件图标主题怎进行美化? vscode文件图标插件的用法
VSCode文件图标主题怎进行美化？VSCode项目创建了很多文件，想要美化一下文件的图标，方便查找和区分，该怎么美化呢？我们需要一个插件，下面我们就来看看vscode文件图标插2021-09-22
vscode怎么安装插件? vscode插件的安装的图文教程
vscode怎么安装插件？vscode中经常需要安装各种插件，该怎么搜索并安装需要的插件呢？下面我们就来看看vscode插件的安装的图文教程2021-09-22
这篇文章主要介绍了盘一盘那些提效/创意的vscode插件(小结)，文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来2020-10-13
不同设备间怎么快速同步vscode插件/配置信息？在不同的电脑上安装vscode后，想要同步插件和配置信息，该怎么同步呢？下面我们就来看看详细的教程，需要的朋友可以参考下2020-07-13
VSCODE怎么安装CSS Peek插件快速查看CSS定义?
VSCODE怎么安装CSS Peek快速查看CSS定义？VSCODE中想要查看定位CSS定义，该怎么操作呢？我们需要添加一个扩展程序，下面我们就来看看详细的教程，需要的朋友可以参考下2020-06-09
vscode怎么安装REST API插件并测试？vscode中有很多插件，想要安装REST API插件，在测试 REST API (作为HTTP Client)的时候用的到，下面我们就来看看详细的教程，需要的朋2020-01-07
VSCode怎么安装插件运行HTML文件？VSCode中无法直接运行html文件，需要借助插件来运行，下面我们就来介绍插件的安装以及运行html文件的方法，2019-07-11
VSCode怎么将markdown文件转换成PDF？写代码习惯用markdown编辑器了，但是导出来是md格式，想要转换成pdf文件，该怎么操作呢？下面我们就来看看详细的教程2021-12-17
最新评论