Files
vern-nvim/docs/setup.md
T

2.2 KiB

Setup and Customizing

Project Name

Without Lazy

require("Polydev").language.setup({
    project_root = "~/Home/..." -- Default: ~/Projects/Language
})

With Lazy

return {
    ...
    opts = {
        <language> = {
            project_root = "~/Home/..." -- Default: ~/Projects/Language

        }
    }
    ...
}

  • You can change the default directory for the project. The project can be made from anywhere you want.
  • It will automatically make the new Root Directory, so you don't have to worry about making it.

Keybinds

  • Every language has the same keybinds so it is easy to remember keybinds and not have to remember thousands of keybinds.
  • The only keybind that doesnt change no matter what happens is creating a new project. Enter the language you want, then enter the project name and boom! new project.
require("Polydev"}.language.setup({
    keybinds = [
        ["<Esc>"] = "CloseTerminal",
        ["<leader>pb"] = "languageBuild",
        ["<leader>pr"] = "languageRun",
        ["<leader>nf"] = "NewlanguageFile", -- such as .c files
        ["<leader>nh"] = "Newlanguage_secondaryFile", -- such as .h files
}
})

Terminal

  • The terminal has a couple of options that can be customized and with more to come
    • Each is set to 0 by default
      • right_padding: Padding for the right width of the terminal
      • left_padding: Padding for the left width of the terminal
      • top_padding: Padding for the top height of the terminal
      • bottom_padding: Padding for the bottom padding of the terminal
    • Each is enabled by default
      • border: Adds a rounded border to the window
      • number: Adds numbers to side of terminal
      • relativenumber: Relative numbers indicate distances from the cursor, only works if number is enabled
      • scroll: Allows scrolling in terminal
-- These are just defaults, so no need to copy them
require("Polydev").language.setup({
    terminal = {
        right_padding = 0,
        bottom_padding = 0,
        left_padding = 0,
        top_padding = 0,
        border = true,
        number = true,
        relativenumber = true,
        scroll = true,
    }
})