亚洲乱码中文字幕综合,中国熟女仑乱hd,亚洲精品乱拍国产一区二区三区,一本大道卡一卡二卡三乱码全集资源,又粗又黄又硬又爽的免费视频

vscode怎么編寫(xiě)Maude程序? Maude插件在vscode的用法

  發(fā)布時(shí)間：2021-12-22 11:26:17   作者：佚名   我要評(píng)論
vscode怎么編寫(xiě)Maude程序？vscode中想要編寫(xiě)Maude文件，需要使用Maude插件來(lái)實(shí)現(xiàn)，下面我們就來(lái)看看Maude插件在vscode的用法

在WSL/linux系統(tǒng)中，想要使用vscode編寫(xiě)Maude。我們需要使用Maude插件實(shí)現(xiàn)部分語(yǔ)法高亮，下面我們就來(lái)看看詳細(xì)的教程。

首先在vscode插件管理器可以搜索到Maude插件。

接著，新建擴(kuò)展名為maude的文件，即可使用maude的代碼段和語(yǔ)法高亮。

終端->新建終端可以在當(dāng)前文件夾打開(kāi)vscode內(nèi)置終端，來(lái)運(yùn)行maude或者full-maude程序。

在maude的官方教程中，還有http客戶端的例子，可以如圖方式調(diào)用運(yùn)行。

如果希望關(guān)聯(lián)fm擴(kuò)展名的文件，打開(kāi)設(shè)置，在用戶設(shè)置中，搜索file associations，打開(kāi)settings.json。

給文件關(guān)聯(lián)添加一個(gè)條目，即*.fm到maude的條目即可。但是full-maude定義了更多語(yǔ)法，并不都被maude插件的語(yǔ)法高亮所支持。

以上就是Maude插件在vscode的用法，希望大家喜歡，請(qǐng)繼續(xù)關(guān)注腳本之家。

相關(guān)推薦：

vscode調(diào)用c項(xiàng)目后怎么引用dll?

vscode怎么打包vue項(xiàng)目? vscode中vue項(xiàng)目打包流程

vscode如何運(yùn)行python? vs code新建并運(yùn)行python代碼的技巧

相關(guān)文章

  • vscode插件Markdown PDF插件轉(zhuǎn)換PDF錯(cuò)誤該怎么辦?

    Markdown PDF插件轉(zhuǎn)換PDF錯(cuò)誤該怎么辦？VSCode中的插件Markdown PDF轉(zhuǎn)換PDF時(shí)Chromium下載失敗，提示Failed to download Chromium! 該怎么辦呢？下面我們就來(lái)看看詳細(xì)的解
    2021-12-17

  • VSCode中LeetCode插件怎么安裝并使用? LeetCode插件安裝教程

    VSCode中LeetCode插件怎么安裝并使用？VSCode中想要安裝LeetCode插件，該怎么安裝，安裝后該怎么使用呢？下面我們就來(lái)看看LeetCode插件安裝教程
    2021-10-18

  • VSCode文件圖標(biāo)主題怎進(jìn)行美化? vscode文件圖標(biāo)插件的用法

    VSCode文件圖標(biāo)主題怎進(jìn)行美化？VSCode項(xiàng)目創(chuàng)建了很多文件，想要美化一下文件的圖標(biāo)，方便查找和區(qū)分，該怎么美化呢？我們需要一個(gè)插件，下面我們就來(lái)看看vscode文件圖標(biāo)插
    2021-09-22

  • vscode怎么安裝插件? vscode插件的安裝的圖文教程

    vscode怎么安裝插件？vscode中經(jīng)常需要安裝各種插件，該怎么搜索并安裝需要的插件呢？下面我們就來(lái)看看vscode插件的安裝的圖文教程
    2021-09-22

  • 盤一盤那些提效/創(chuàng)意的vscode插件(小結(jié))

    這篇文章主要介紹了盤一盤那些提效/創(chuàng)意的vscode插件(小結(jié))，文中通過(guò)示例代碼介紹的非常詳細(xì)，對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值，需要的朋友們下面隨著小編來(lái)
    2020-10-13

  • 不同設(shè)備間怎么快速同步vscode插件/配置信息?

    不同設(shè)備間怎么快速同步vscode插件/配置信息？在不同的電腦上安裝vscode后，想要同步插件和配置信息，該怎么同步呢？下面我們就來(lái)看看詳細(xì)的教程，需要的朋友可以參考下
    2020-07-13

  • VSCODE怎么安裝CSS Peek插件快速查看CSS定義?

    VSCODE怎么安裝CSS Peek快速查看CSS定義？VSCODE中想要查看定位CSS定義，該怎么操作呢？我們需要添加一個(gè)擴(kuò)展程序，下面我們就來(lái)看看詳細(xì)的教程，需要的朋友可以參考下
    2020-06-09

  • vscode怎么安裝REST API插件并測(cè)試?

    vscode怎么安裝REST API插件并測(cè)試？vscode中有很多插件，想要安裝REST API插件，在測(cè)試 REST API (作為HTTP Client)的時(shí)候用的到，下面我們就來(lái)看看詳細(xì)的教程，需要的朋
    2020-01-07

  • VSCode怎么安裝插件運(yùn)行HTML文件?

    VSCode怎么安裝插件運(yùn)行HTML文件？VSCode中無(wú)法直接運(yùn)行html文件，需要借助插件來(lái)運(yùn)行，下面我們就來(lái)介紹插件的安裝以及運(yùn)行html文件的方法，
    2019-07-11

  • VSCode怎么將markdown文件轉(zhuǎn)換成PDF?

    VSCode怎么將markdown文件轉(zhuǎn)換成PDF？寫(xiě)代碼習(xí)慣用markdown編輯器了，但是導(dǎo)出來(lái)是md格式，想要轉(zhuǎn)換成pdf文件，該怎么操作呢？下面我們就來(lái)看看詳細(xì)的教程
    2021-12-17

最新評(píng)論