Date: Mon, 10 May 2021 08:19:05 GMT From: Mathieu Arnold <mat@FreeBSD.org> To: doc-committers@FreeBSD.org, dev-commits-doc-all@FreeBSD.org Subject: git: 13260385b0 - main - Point people to git-grep's man page directly. Message-ID: <202105100819.14A8J5dk087877@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by mat: URL: https://cgit.FreeBSD.org/doc/commit/?id=13260385b0591a4eee0de0dd1ce47fc411653252 commit 13260385b0591a4eee0de0dd1ce47fc411653252 Author: Mathieu Arnold <mat@FreeBSD.org> AuthorDate: 2021-05-10 08:16:11 +0000 Commit: Mathieu Arnold <mat@FreeBSD.org> CommitDate: 2021-05-10 08:18:56 +0000 Point people to git-grep's man page directly. As we are talking about the tool and not an exact command to use, it feels more helpfull to give a link to the man page. --- documentation/content/en/articles/committers-guide/_index.adoc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/documentation/content/en/articles/committers-guide/_index.adoc b/documentation/content/en/articles/committers-guide/_index.adoc index 90a7d46e19..9930532c42 100644 --- a/documentation/content/en/articles/committers-guide/_index.adoc +++ b/documentation/content/en/articles/committers-guide/_index.adoc @@ -3479,7 +3479,7 @@ First, please read the section about repository copies. Before you remove the po + [TIP] ==== -When using Git, consider using `git grep`, it is much faster than `grep -r`. +When using Git, consider using man:git-grep[1], it is much faster than `grep -r`. ==== + * Then, remove the port: @@ -3502,7 +3502,7 @@ When sending questions about this script to the {freebsd-ports}, please also CC [.procedure] ==== -. Perform a thorough check of the ports collection for any dependencies on the old port location/name, and update them. Running `grep` on [.filename]#INDEX# is not enough because some ports have dependencies enabled by compile-time options. A full `git grep` of the ports collection is recommended. +. Perform a thorough check of the ports collection for any dependencies on the old port location/name, and update them. Running `grep` on [.filename]#INDEX# is not enough because some ports have dependencies enabled by compile-time options. A full man:git-grep[1] of the ports collection is recommended. . Remove the `SUBDIR` entry from the old category Makefile and add a `SUBDIR` entry to the new category Makefile. . Add an entry to [.filename]#ports/MOVED#. . Move the port with `git mv`.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202105100819.14A8J5dk087877>