2022-02-27 15:17:46 +08:00
|
|
|
-- put user settings here
|
|
|
|
-- this module will be loaded after everything else when the application starts
|
|
|
|
|
|
|
|
local keymap = require "core.keymap"
|
|
|
|
local config = require "core.config"
|
|
|
|
local style = require "core.style"
|
|
|
|
|
|
|
|
-- light theme:
|
|
|
|
-- require "user.colors.summer"
|
|
|
|
|
|
|
|
-- key binding:
|
|
|
|
-- keymap.add { ["ctrl+escape"] = "core:quit" }
|
|
|
|
|
2022-02-28 04:19:06 +08:00
|
|
|
|
|
|
|
local core = require "core"
|
|
|
|
local command = require "core.command"
|
|
|
|
local keymap = require "core.keymap"
|
|
|
|
local console = require "plugins.console"
|
|
|
|
|
|
|
|
command.add(nil, {
|
|
|
|
["project:build-project"] = function()
|
|
|
|
core.log "Building..."
|
|
|
|
console.run {
|
|
|
|
command = "chcp 65001 & make",
|
|
|
|
file_pattern = "(.*):(%d+):(%d+): (.*)$",
|
|
|
|
on_complete = function() core.log "Build complete" end,
|
|
|
|
}
|
|
|
|
end
|
|
|
|
})
|
|
|
|
|
|
|
|
keymap.add { ["ctrl+b"] = "project:build-project" }
|