From 389ce414a662f3b649051f0e284d4b429a3b9ced Mon Sep 17 00:00:00 2001 From: gaenseklein Date: Mon, 30 Oct 2023 19:17:25 +0100 Subject: [PATCH 1/4] added grepsearch-plugin --- channel.json | 3 +++ plugins/micro-grepsearch.json | 17 +++++++++++++++++ 2 files changed, 20 insertions(+) create mode 100644 plugins/micro-grepsearch.json diff --git a/channel.json b/channel.json index 112427d..918dd5b 100644 --- a/channel.json +++ b/channel.json @@ -78,5 +78,8 @@ "https://raw.githubusercontent.com/micro-editor/plugin-channel/master/plugins/micro-detectindent.json", // lsp plugin + "https://raw.githubusercontent.com/micro-editor/plugin-channel/master/plugins/micro-plugin-lsp.json", + + //grepsearch plugin "https://raw.githubusercontent.com/micro-editor/plugin-channel/master/plugins/micro-plugin-lsp.json" ] diff --git a/plugins/micro-grepsearch.json b/plugins/micro-grepsearch.json new file mode 100644 index 0000000..7945bee --- /dev/null +++ b/plugins/micro-grepsearch.json @@ -0,0 +1,17 @@ +[ + { + "Name": "grepsearch", + "Description": "using grep to recursively search in files", + "Tags": ["search"], + "Website": "https://github.com/gaenseklein/grepsearch", + "Versions": [ + { + "Version": "1.0.0", + "Url": "https://github.com/micro-editor/plugin-channel/releases/download/plugins/micro-grepsearch-1.0.0.zip", + "Require": { + "micro": ">=1.3.2" + } + } + ] + } +] From 7a5a5b48ed40fe129363f3fcf8bf6e0b82dfa267 Mon Sep 17 00:00:00 2001 From: gaenseklein Date: Mon, 30 Oct 2023 19:26:24 +0100 Subject: [PATCH 2/4] fixed link --- channel.json | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/channel.json b/channel.json index 918dd5b..5433a18 100644 --- a/channel.json +++ b/channel.json @@ -40,25 +40,25 @@ // JoinLines plugin "https://raw.githubusercontent.com/micro-editor/plugin-channel/master/plugins/join-lines-plugin.json", - + // Quoter plugin "https://raw.githubusercontent.com/micro-editor/plugin-channel/master/plugins/micro-quoter.json", - + // Bounce plugin "https://raw.githubusercontent.com/micro-editor/plugin-channel/master/plugins/micro-bounce.json", // zigfmt plugin "https://raw.githubusercontent.com/micro-editor/plugin-channel/master/plugins/micro-zigfmt.json", - + // Aspell plugin "https://raw.githubusercontent.com/micro-editor/plugin-channel/master/plugins/micro-aspell-plugin.json", - + // jlabbrev plugin "https://raw.githubusercontent.com/micro-editor/plugin-channel/master/plugins/jlabbrev.json", // wakatime plugin "https://raw.githubusercontent.com/micro-editor/plugin-channel/master/plugins/micro-wakatime.json", - + // nord colorschemes "https://raw.githubusercontent.com/micro-editor/plugin-channel/master/plugins/micro-nord-tc-colors.json", @@ -81,5 +81,5 @@ "https://raw.githubusercontent.com/micro-editor/plugin-channel/master/plugins/micro-plugin-lsp.json", //grepsearch plugin - "https://raw.githubusercontent.com/micro-editor/plugin-channel/master/plugins/micro-plugin-lsp.json" + "https://raw.githubusercontent.com/micro-editor/plugin-channel/master/plugins/micro-grepsearch.json" ] From d23aab9861c876dc256bca9d498783dd3dd12b96 Mon Sep 17 00:00:00 2001 From: gaenseklein <31316726+gaenseklein@users.noreply.github.com> Date: Sun, 24 Mar 2024 13:43:46 +0100 Subject: [PATCH 3/4] enter entry for grepsearch to table in README.md --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 158fb1f..47607ae 100644 --- a/README.md +++ b/README.md @@ -33,6 +33,7 @@ This repository contains the 'channel.json' file which lists all official micro | `jump` | Jump to any function, class or heading with F4. Go, Markdown, Python, C and in 40 other languages | https://github.com/terokarvinen/micro-jump | :heavy_check_mark: | | `detectindent` | Automatically detect indentation settings | https://github.com/dmaluka/micro-detectindent | :heavy_check_mark: | | `lsp` | An basic LSP client implementation | https://github.com/AndCake/micro-plugin-lsp | :heavy_check_mark: | +| `grepsearch` | Enables to search recursively with grep inside cwd | https://github.com/gaenseklein/grepsearch | :heavy_check_mark: | ## Adding your own plugin From 29803d3ff532220abdb691f914c4b9e789c302d0 Mon Sep 17 00:00:00 2001 From: gaenseklein <31316726+gaenseklein@users.noreply.github.com> Date: Sun, 24 Mar 2024 13:46:57 +0100 Subject: [PATCH 4/4] Update micro-grepsearch.json --- plugins/micro-grepsearch.json | 1 + 1 file changed, 1 insertion(+) diff --git a/plugins/micro-grepsearch.json b/plugins/micro-grepsearch.json index 7945bee..8b09e10 100644 --- a/plugins/micro-grepsearch.json +++ b/plugins/micro-grepsearch.json @@ -4,6 +4,7 @@ "Description": "using grep to recursively search in files", "Tags": ["search"], "Website": "https://github.com/gaenseklein/grepsearch", + "License": "GPL3", "Versions": [ { "Version": "1.0.0",