Re: [cocci] [PATCH] coccinelle: update Coccinelle website URL
Julia Lawall <[email protected]> Thu, 30 Jul 2026 07:55:58 +0200 (CEST)
| Newsgroups | fr.inria.cocci,org.kernel.vger.linux-doc,org.kernel.vger.linux-kernel,org.kernel.vger.workflows |
|---|---|
| Message-ID | <[email protected]> |
This message is in MIME format. The first part should be readable text, while the remaining parts are likely unreadable without MIME-aware tools. --8323329-512528533-1785390959=:3901 Content-Type: text/plain; charset=iso-2022-jp On Thu, 30 Jul 2026, $BAj1:>4(J / AIURA$B!$(JAKIRA wrote: > > The old Coccinelle project URL is no longer available. Replace it with > the current Coccinelle homepage already referenced by > Documentation/dev-tools/coccinelle.rst. > > Signed-off-by: Akira Aiura <[email protected]> Applied. Thanks for the update. julia > --- > Documentation/process/4.Coding.rst | 3 ++- > scripts/coccicheck | 4 ++-- > scripts/nsdeps | 2 +- > 3 files changed, 5 insertions(+), 4 deletions(-) > > diff --git a/Documentation/process/4.Coding.rst b/Documentation/process/4.Coding.rst > index c0f57d0c4f73..c23b9e48ce49 100644 > --- a/Documentation/process/4.Coding.rst > +++ b/Documentation/process/4.Coding.rst > @@ -312,7 +312,8 @@ be found at https://sparse.wiki.kernel.org/index.php/Main_Page if your > distributor does not package it); it can then be run on the code by adding > "C=1" to your make command. > > -The "Coccinelle" tool (http://coccinelle.lip6.fr/) is able to find a wide > +The "Coccinelle" tool > +(https://coccinelle.gitlabpages.inria.fr/website) is able to find a wide > variety of potential coding problems; it can also propose fixes for those > problems. Quite a few "semantic patches" for the kernel have been packaged > under the scripts/coccinelle directory; running "make coccicheck" will run > diff --git a/scripts/coccicheck b/scripts/coccicheck > index 8dd766009de1..a0a0e0f72bc7 100755 > --- a/scripts/coccicheck > +++ b/scripts/coccicheck > @@ -11,7 +11,7 @@ DIR="$(dirname $(readlink -f $0))/.." > SPATCH="`which ${SPATCH:=spatch}`" > > if [ ! -x "$SPATCH" ]; then > - echo 'spatch is part of the Coccinelle project and is available at http://coccinelle.lip6.fr/' > + echo 'spatch is part of the Coccinelle project and is available at https://coccinelle.gitlabpages.inria.fr/website' > exit 1 > fi > > @@ -229,7 +229,7 @@ coccinelle () { > echo " in $FILE." > echo '' > echo ' More information about semantic patching is available at' > - echo ' http://coccinelle.lip6.fr/' > + echo ' https://coccinelle.gitlabpages.inria.fr/website' > echo '' > > if [ "`sed -ne 's|^//#||p' $COCCI`" ] ; then > diff --git a/scripts/nsdeps b/scripts/nsdeps > index a3372166ac01..d4b5ebcc2016 100644 > --- a/scripts/nsdeps > +++ b/scripts/nsdeps > @@ -8,7 +8,7 @@ SPATCH_REQ_VERSION="1.0.4" > DIR="$(dirname $(readlink -f $0))/.." > SPATCH="`which ${SPATCH:=spatch}`" > if [ ! -x "$SPATCH" ]; then > - echo 'spatch is part of the Coccinelle project and is available at http://coccinelle.lip6.fr/' > + echo 'spatch is part of the Coccinelle project and is available at https://coccinelle.gitlabpages.inria.fr/website' > exit 1 > fi > > -- > 2.53.0 > > --8323329-512528533-1785390959=:3901--