Giter Club home page Giter Club logo

Comments (4)

JoeKar avatar JoeKar commented on June 20, 2024 1

Is the approach of Global and local settings not sufficient? The same works for whole directories too. 😉

from micro.

1buran avatar 1buran commented on June 20, 2024

Is the approach of Global and local settings not sufficient? The same works for whole directories too. 😉

hmm.. I didn't get it at the first reading of docs..

Does it work for all options? For example is it allowed to do something like this?
settings.json:

{
    "lsp.autocompleteDetails": true,
    "lsp.formatOnSave": false,
    "lsp.server": "go=gopls,php=intelephense --stdio",
    "/home/user/projects/name/huge.php": {
        "lsp.server": ""
    }
}

(disable lsp for one file)

from micro.

glupi-borna avatar glupi-borna commented on June 20, 2024

Note that what is actually matched against the "/home/user/projects/name/huge.php" key in your settings is the relative path to the file, as opposed to the absolute path. In this specific case, if you were in the "/home/user/projects/name" folder and typed micro huge.php at the command line, micro would open, but your settings would not be applied. Instead, you can supply the full path (micro /home/user/projects/name/huge.php), and then your settings would be applied.

If your settings were instead (off the top of my head):

{
    "lsp.autocompleteDetails": true,
    "lsp.formatOnSave": false,
    "lsp.server": "go=gopls,php=intelephense --stdio",
    "*/huge.php": {
        "lsp.server": ""
    }
}

Then any file named huge.php would have the lsp.server setting set to "".

On the topic of inline options being specified inside of files, you could totally make a plugin that does this.

from micro.

1buran avatar 1buran commented on June 20, 2024

Note that what is actually matched against the "/home/user/projects/name/huge.php" key in your settings is the relative path to the file, as opposed to the absolute path. In this specific case, if you were in the "/home/user/projects/name" folder and typed micro huge.php at the command line, micro would open, but your settings would not be applied. Instead, you can supply the full path (micro /home/user/projects/name/huge.php), and then your settings would be applied.

If your settings were instead (off the top of my head):

{
    "lsp.autocompleteDetails": true,
    "lsp.formatOnSave": false,
    "lsp.server": "go=gopls,php=intelephense --stdio",
    "*/huge.php": {
        "lsp.server": ""
    }
}

Then any file named huge.php would have the lsp.server setting set to "".

Thank you! Yeah, you are right: i faced with this weird issue - sometime the local settings were not applied, with your hints about paths puzzle is solved. I'll test this with more generic path (like you proposed).

On the topic of inline options being specified inside of files, you could totally make a plugin that does this.

hm... that's interesting, I'm not really familiar with Lua, but I really like the micro-editor, want to switch to it completely from emacs. But I'm used to using dired, magit and other emacs stuff, maybe this will encourage me to learn Lua and create plugins that will cover the lack of such functionality.

from micro.

Related Issues (20)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.