non port: ports-mgmt/portgrep/distinfo |
Number of commits found: 6 |
Sunday, 16 Oct 2022
|
19:43 Dmitri Goutnik (dmgk)
ports-mgmt/portgrep: Update to 1.4.1
Changes: https://github.com/dmgk/portgrep/releases/tag/v1.4.1
af630f4 |
Saturday, 4 Jun 2022
|
14:25 Dmitri Goutnik (dmgk)
ports-mgmt/portgrep: Update to 1.3.0
Changes: https://github.com/dmgk/portgrep/releases/tag/v1.3.0
- Add context options (`-A`, `-B` and `-C`).
- `-C` was renamed to `-M` to allow context options to be the same as
with grep.
- Add `-G` option to set custom colors (see ls(1) for color codes).
Colors can also be set with `PORTGREP_COLORS` env variable.
- Custom queries are now interpreted as plain text unless `-x` was also given.
995ff05 |
Friday, 19 Feb 2021
|
17:59 dmgk
Switch to GO_MODULE after r566063
|
Monday, 23 Nov 2020
|
14:46 dmgk
ports-mgmt/portgrep: Update to 1.2.0
Changes: https://github.com/dmgk/portgrep/releases/tag/v1.2.0
|
Saturday, 11 Apr 2020
|
19:05 dmgk
ports-mgmt/portgrep: Update to 1.1.0
Changes: https://github.com/dmgk/portgrep/releases/tag/v1.1.0
|
Tuesday, 10 Dec 2019
|
23:00 dmgk
New port: ports-mgmt/portgrep
portgrep is a fast parallel ports tree search utility, supporting both
predefined queries (by MAINTAINER, USES, etc.) and custom regex searches.
WWW: https://github.com/dmgk/portgrep
|
Number of commits found: 6 |