From: Julia Lawall <julia.lawall@inria.fr>
To: Julia Lawall <Julia.Lawall@inria.fr>
Cc: Jonathan Corbet <corbet@lwn.net>,
Shuah Khan <skhan@linuxfoundation.org>,
workflows@vger.kernel.org, cocci@inria.fr,
Nicolas Palix <nicolas.palix@imag.fr>,
Hu Haowen <2023002089@link.tyut.edu.cn>,
Alex Shi <alexs@kernel.org>, Yanteng Si <si.yanteng@linux.dev>,
Dongliang Mu <dzm91@hust.edu.cn>,
linux-doc@vger.kernel.org, linux-kernel@vger.kernel.org,
Federico Vaga <federico.vaga@vaga.pv.it>,
Carlos Bilbao <carlos.bilbao@kernel.org>,
Avadhut Naik <avadhut.naik@amd.com>,
LIU Haoyang <tttturtleruss@gmail.com>
Subject: Re: [cocci] [PATCH] coccinelle: update Coccinelle URL
Date: Tue, 10 Mar 2026 09:14:26 +0100 (CET) [thread overview]
Message-ID: <7db99952-d1ef-7148-4c8f-1e6ae8f0d875@inria.fr> (raw)
In-Reply-To: <20260310081112.354802-1-Julia.Lawall@inria.fr>
On Tue, 10 Mar 2026, Julia Lawall wrote:
> The LIP6 URL no longer functions.
>
> Signed-off-by: Julia Lawall <Julia.Lawall@inria.fr>
>
> ---
>
> I used the UTF-8 encoding for the email.
> Let me know if this was not the right choice.
OK, this doesn't look good. Sorry for the noise. What is the proper
encoding?
thanks,
julia
>
> Documentation/dev-tools/coccinelle.rst | 2 +-
> Documentation/translations/it_IT/process/4.Coding.rst | 3 ++-
> Documentation/translations/sp_SP/process/4.Coding.rst | 3 ++-
> Documentation/translations/zh_CN/process/4.Coding.rst | 2 +-
> Documentation/translations/zh_TW/process/4.Coding.rst | 2 +-
> 5 files changed, 7 insertions(+), 5 deletions(-)
>
> diff --git a/Documentation/translations/zh_CN/process/4.Coding.rst b/Documentation/translations/zh_CN/process/4.Coding.rst
> index 4cc35d410dbc..a00ad5d6b81e 100644
> --- a/Documentation/translations/zh_CN/process/4.Coding.rst
> +++ b/Documentation/translations/zh_CN/process/4.Coding.rst
> @@ -216,7 +216,7 @@ Documentation/fault-injection/fault-injection.rst???
> ????????? https://sparse.wiki.kernel.org/index.php/Main_page ?????????,
> ?????????????????????make??????????????????C=1???????????????????????????
>
> -???Coccinelle????????? :ref:`http://coccinelle.lip6.fr/ <devtools_coccinelle>`
> +???Coccinelle????????? :ref:`https://coccinelle.gitlabpages.inria.fr/website/ <devtools_coccinelle>`
> ?????????????????????????????????????????????????????????????????????????????????????????????
> scripts/coccinelle?????????????????????????????????????????????????????????????????????
> ???make coccicheck?????????????????????????????????????????????????????????????????????????????????????????????
> diff --git a/Documentation/translations/zh_TW/process/4.Coding.rst b/Documentation/translations/zh_TW/process/4.Coding.rst
> index e90a6b51fb98..233e8718ed41 100644
> --- a/Documentation/translations/zh_TW/process/4.Coding.rst
> +++ b/Documentation/translations/zh_TW/process/4.Coding.rst
> @@ -219,7 +219,7 @@ Documentation/fault-injection/fault-injection.rst???
> ????????? https://sparse.wiki.kernel.org/index.php/Main_page ?????????,
> ?????????????????????make??????????????????C=1???????????????????????????
>
> -???Coccinelle????????? :ref:`http://coccinelle.lip6.fr/ <devtools_coccinelle>`
> +???Coccinelle????????? :ref:`https://coccinelle.gitlabpages.inria.fr/website/ <devtools_coccinelle>`
> ?????????????????????????????????????????????????????????????????????????????????????????????
> scripts/coccinelle?????????????????????????????????????????????????????????????????????
> ???make coccicheck?????????????????????????????????????????????????????????????????????????????????????????????
> diff --git a/Documentation/translations/it_IT/process/4.Coding.rst b/Documentation/translations/it_IT/process/4.Coding.rst
> index 3126342c4b4a..a2ec35e016b7 100644
> --- a/Documentation/translations/it_IT/process/4.Coding.rst
> +++ b/Documentation/translations/it_IT/process/4.Coding.rst
> @@ -329,7 +329,8 @@ Sparse deve essere installato separatamente (se il vostra distribuzione non
> lo prevede, potete trovarlo su https://sparse.wiki.kernel.org/index.php/Main_Page);
> pu?? essere attivato sul codice aggiungendo "C=1" al comando make.
>
> -Lo strumento "Coccinelle" (http://coccinelle.lip6.fr/) ?? in grado di trovare
> +Lo strumento "Coccinelle" (https://coccinelle.gitlabpages.inria.fr/website/)
> +?? in grado di trovare
> una vasta variet?? di potenziali problemi di codifica; e pu?? inoltre proporre
> soluzioni per risolverli. Un buon numero di "patch semantiche" per il kernel
> sono state preparate nella cartella scripts/coccinelle; utilizzando
> diff --git a/Documentation/dev-tools/coccinelle.rst b/Documentation/dev-tools/coccinelle.rst
> index c714780d458a..05614c469b47 100644
> --- a/Documentation/dev-tools/coccinelle.rst
> +++ b/Documentation/dev-tools/coccinelle.rst
> @@ -34,7 +34,7 @@ of many distributions, e.g. :
>
> Some distribution packages are obsolete and it is recommended
> to use the latest version released from the Coccinelle homepage at
> -http://coccinelle.lip6.fr/
> +https://coccinelle.gitlabpages.inria.fr/website
>
> Or from Github at:
>
> diff --git a/Documentation/translations/sp_SP/process/4.Coding.rst b/Documentation/translations/sp_SP/process/4.Coding.rst
> index 7cc347c34354..6c3750ccdea2 100644
> --- a/Documentation/translations/sp_SP/process/4.Coding.rst
> +++ b/Documentation/translations/sp_SP/process/4.Coding.rst
> @@ -336,7 +336,8 @@ https://sparse.wiki.kernel.org/index.php/Main_Page si su distribuci??n no lo
> empaqueta); luego, puede ejecutarse en el c??digo agregando "C=1" a su
> comando make.
>
> -La herramienta "Coccinelle" (http://coccinelle.lip6.fr/) puede encontrar
> +La herramienta "Coccinelle" (https://coccinelle.gitlabpages.inria.fr/website/)
> +puede encontrar
> una amplia variedad de posibles problemas de codificaci??n; tambi??n puede
> proponer correcciones para esos problemas. Bastantes "parches sem??nticos"
> para el kernel se han empaquetado en el directorio scripts/coccinelle;
>
>
next prev parent reply other threads:[~2026-03-10 8:14 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-03-10 8:11 Julia Lawall
2026-03-10 8:14 ` Julia Lawall [this message]
2026-03-10 10:41 ` [cocci] " Akira Yokosawa
2026-03-10 11:46 ` Julia Lawall
2026-03-10 12:12 ` Akira Yokosawa
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=7db99952-d1ef-7148-4c8f-1e6ae8f0d875@inria.fr \
--to=julia.lawall@inria.fr \
--cc=2023002089@link.tyut.edu.cn \
--cc=alexs@kernel.org \
--cc=avadhut.naik@amd.com \
--cc=carlos.bilbao@kernel.org \
--cc=cocci@inria.fr \
--cc=corbet@lwn.net \
--cc=dzm91@hust.edu.cn \
--cc=federico.vaga@vaga.pv.it \
--cc=linux-doc@vger.kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=nicolas.palix@imag.fr \
--cc=si.yanteng@linux.dev \
--cc=skhan@linuxfoundation.org \
--cc=tttturtleruss@gmail.com \
--cc=workflows@vger.kernel.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox