vscode怎么編寫Maude程序? Maude插件在vscode的用法
我要評論在WSL/linux系統(tǒng)中，想要使用vscode編寫Maude。我們需要使用Maude插件實現(xiàn)部分語法高亮，下面我們就來看看詳細的教程。
首先在vscode插件管理器可以搜索到Maude插件。
接著，新建擴展名為maude的文件，即可使用maude的代碼段和語法高亮。
終端->新建終端可以在當前文件夾打開vscode內(nèi)置終端，來運行maude或者full-maude程序。
在maude的官方教程中，還有http客戶端的例子，可以如圖方式調(diào)用運行。
如果希望關(guān)聯(lián)fm擴展名的文件，打開設(shè)置，在用戶設(shè)置中，搜索file associations，打開settings.json。
給文件關(guān)聯(lián)添加一個條目，即*.fm到maude的條目即可。但是full-maude定義了更多語法，并不都被maude插件的語法高亮所支持。
以上就是Maude插件在vscode的用法，希望大家喜歡，請繼續(xù)關(guān)注腳本之家。
相關(guān)推薦：
vscode怎么打包vue項目? vscode中vue項目打包流程
vscode如何運行python? vs code新建并運行python代碼的技巧
相關(guān)文章
vscode插件Markdown PDF插件轉(zhuǎn)換PDF錯誤該怎么辦?
Markdown PDF插件轉(zhuǎn)換PDF錯誤該怎么辦？VSCode中的插件Markdown PDF轉(zhuǎn)換PDF時Chromium下載失敗，提示Failed to download Chromium! 該怎么辦呢？下面我們就來看看詳細的解2021-12-17
VSCode中LeetCode插件怎么安裝并使用? LeetCode插件安裝教程
VSCode中LeetCode插件怎么安裝并使用？VSCode中想要安裝LeetCode插件，該怎么安裝，安裝后該怎么使用呢？下面我們就來看看LeetCode插件安裝教程2021-10-18
VSCode文件圖標主題怎進行美化? vscode文件圖標插件的用法
VSCode文件圖標主題怎進行美化？VSCode項目創(chuàng)建了很多文件，想要美化一下文件的圖標，方便查找和區(qū)分，該怎么美化呢？我們需要一個插件，下面我們就來看看vscode文件圖標插2021-09-22
vscode怎么安裝插件? vscode插件的安裝的圖文教程
vscode怎么安裝插件？vscode中經(jīng)常需要安裝各種插件，該怎么搜索并安裝需要的插件呢？下面我們就來看看vscode插件的安裝的圖文教程2021-09-22
盤一盤那些提效/創(chuàng)意的vscode插件(小結(jié))
這篇文章主要介紹了盤一盤那些提效/創(chuàng)意的vscode插件(小結(jié))，文中通過示例代碼介紹的非常詳細，對大家的學習或者工作具有一定的參考學習價值，需要的朋友們下面隨著小編來2020-10-13
不同設(shè)備間怎么快速同步vscode插件/配置信息?
不同設(shè)備間怎么快速同步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文件轉(zhuǎn)換成PDF?
VSCode怎么將markdown文件轉(zhuǎn)換成PDF？寫代碼習慣用markdown編輯器了，但是導出來是md格式，想要轉(zhuǎn)換成pdf文件，該怎么操作呢？下面我們就來看看詳細的教程2021-12-17
