blob: f529b907a9520e0878db8e329c17d0f2d1fd3eab (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
local openTerminal = function(command)
local Terminal = require('toggleterm.terminal').Terminal
local term = Terminal:new({
cmd = command,
direction = 'horizontal'
})
term:toggle()
end
local path = vim.fn.getcwd() .. '/.compile'
local run = function()
local file_exists = os.rename(path, path)
if file_exists then
openTerminal(
'echo "Directory: $(pwd)"; echo "Compilation started at $(date +"%H:%M:%S")"; echo; '
.. 'bash ' .. path ..
'; echo; echo "Compilation finished at $(date +"%H:%M:%S")"; read'
)
return
end
local file = io.open(path, 'w')
file:seek('set')
file:write([[#!/bin/sh
set -xe
]]
)
file:close()
print('Created ' .. path)
return nil
end
vim.keymap.set('n', 'zz', function()
run()
end)
|
