ignore dist directories
This commit is contained in:
parent
c629b9a51b
commit
e6895affa6
|
|
@ -17,7 +17,7 @@ return {
|
||||||
function()
|
function()
|
||||||
require("telescope.builtin").live_grep({
|
require("telescope.builtin").live_grep({
|
||||||
additional_args = function()
|
additional_args = function()
|
||||||
return { "--glob", "!dist/*", "--glob", "!dist_prod/*" }
|
return { "--glob", "!**/dist/**", "--glob", "!**/dist_prod/**" }
|
||||||
end,
|
end,
|
||||||
})
|
})
|
||||||
end,
|
end,
|
||||||
|
|
@ -28,7 +28,7 @@ return {
|
||||||
function()
|
function()
|
||||||
require("telescope.builtin").diagnostics()
|
require("telescope.builtin").diagnostics()
|
||||||
end,
|
end,
|
||||||
desc = "Live Grep",
|
desc = "Diagnostics",
|
||||||
},
|
},
|
||||||
{
|
{
|
||||||
"gd",
|
"gd",
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue