Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > linux.kernel > #1497025 > unrolled thread

scripts/coccicheck: Update for a comment?

Started bySF Markus Elfring <elfring@users.sourceforge.net>
First post2016-10-07 07:50 +0200
Last post2016-10-07 15:20 +0200
Articles 13 — 3 participants

Back to article view | Back to linux.kernel


Contents

  scripts/coccicheck: Update for a comment? SF Markus Elfring <elfring@users.sourceforge.net> - 2016-10-07 07:50 +0200
    Re: scripts/coccicheck: Update for a comment? Julia Lawall <julia.lawall@lip6.fr> - 2016-10-07 08:00 +0200
      Re: scripts/coccicheck: Update for a comment? Julia Lawall <julia.lawall@lip6.fr> - 2016-10-07 08:10 +0200
        Re: scripts/coccicheck: Update for a comment? Julia Lawall <julia.lawall@lip6.fr> - 2016-10-07 08:30 +0200
          Re: scripts/coccicheck: Update for a comment? SF Markus Elfring <elfring@users.sourceforge.net> - 2016-10-07 09:30 +0200
            Re: scripts/coccicheck: Update for a comment? SF Markus Elfring <elfring@users.sourceforge.net> - 2016-10-07 15:30 +0200
          [PATCH] scripts/coccicheck: Update reference for the corresponding  documentation SF Markus Elfring <elfring@users.sourceforge.net> - 2016-10-07 16:20 +0200
            Re: [PATCH] scripts/coccicheck: Update reference for the corresponding  documentation Julia Lawall <julia.lawall@lip6.fr> - 2016-10-07 20:40 +0200
              Re: [PATCH] scripts/coccicheck: Update reference for the  corresponding documentation Michal Marek <mmarek@suse.com> - 2016-10-11 10:00 +0200
        Re: scripts/coccicheck: Update for a comment? SF Markus Elfring <elfring@users.sourceforge.net> - 2016-10-07 08:40 +0200
      Re: scripts/coccicheck: Update for a comment? SF Markus Elfring <elfring@users.sourceforge.net> - 2016-10-07 08:10 +0200
      Re: docs: Fixing "sphinxify coccinelle.txt"? SF Markus Elfring <elfring@users.sourceforge.net> - 2016-10-07 14:30 +0200
        Re: docs: Fixing "sphinxify coccinelle.txt"? SF Markus Elfring <elfring@users.sourceforge.net> - 2016-10-07 15:20 +0200

#1497025 — scripts/coccicheck: Update for a comment?

FromSF Markus Elfring <elfring@users.sourceforge.net>
Date2016-10-07 07:50 +0200
Subjectscripts/coccicheck: Update for a comment?
Message-ID<spwcG-3WG-15@gated-at.bofh.it>
Hello,

Information from a commit like "docs: sphinxify coccinelle.txt and add it
to dev-tools" caught also my software development attention.
https://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/commit/Documentation/coccinelle.txt?id=4b9033a33494ec9154d63e706e9e47f7eb3fd59e

Did an other information from a comment become outdated in the script "coccicheck"
because of such changes for the documentation format?
https://git.kernel.org/cgit/linux/kernel/git/next/linux-next.git/tree/scripts/coccicheck?id=c802e87fbe2d4dd58982d01b3c39bc5a781223aa#n4

Regards,
Markus

[toc] | [next] | [standalone]


#1497027

FromJulia Lawall <julia.lawall@lip6.fr>
Date2016-10-07 08:00 +0200
Message-ID<spwmm-416-1@gated-at.bofh.it>
In reply to#1497025

On Fri, 7 Oct 2016, SF Markus Elfring wrote:

> Hello,
>
> Information from a commit like "docs: sphinxify coccinelle.txt and add it
> to dev-tools" caught also my software development attention.
> https://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/commit/Documentation/coccinelle.txt?id=4b9033a33494ec9154d63e706e9e47f7eb3fd59e
>
> Did an other information from a comment become outdated in the script "coccicheck"
> because of such changes for the documentation format?
> https://git.kernel.org/cgit/linux/kernel/git/next/linux-next.git/tree/scripts/coccicheck?id=c802e87fbe2d4dd58982d01b3c39bc5a781223aa#n4

How about submitting a patch to fix the problem?

julia

[toc] | [prev] | [next] | [standalone]


#1497031

FromJulia Lawall <julia.lawall@lip6.fr>
Date2016-10-07 08:10 +0200
Message-ID<spww1-4lC-11@gated-at.bofh.it>
In reply to#1497027

On Fri, 7 Oct 2016, SF Markus Elfring wrote:

> >> https://git.kernel.org/cgit/linux/kernel/git/next/linux-next.git/tree/scripts/coccicheck?id=c802e87fbe2d4dd58982d01b3c39bc5a781223aa#n4
> >
> > How about submitting a patch to fix the problem?
>
> I would appreciate to become a bit more sure about the current storage location
> which should be referenced in this file.

In the Documentation directory find . -name "*cocci*"

gives

./dev-tools/coccinelle.rst

I think you could have done that yourself.

julia

>
> Regards,
> Markus
> --
> To unsubscribe from this list: send the line "unsubscribe kernel-janitors" in
> the body of a message to majordomo@vger.kernel.org
> More majordomo info at  http://vger.kernel.org/majordomo-info.html
>

[toc] | [prev] | [next] | [standalone]


#1497033

FromJulia Lawall <julia.lawall@lip6.fr>
Date2016-10-07 08:30 +0200
Message-ID<spwPn-4yv-1@gated-at.bofh.it>
In reply to#1497031

On Fri, 7 Oct 2016, SF Markus Elfring wrote:

> >>>> https://git.kernel.org/cgit/linux/kernel/git/next/linux-next.git/tree/scripts/coccicheck?id=c802e87fbe2d4dd58982d01b3c39bc5a781223aa#n4
> >>>
> >>> How about submitting a patch to fix the problem?
> >>
> >> I would appreciate to become a bit more sure about the current storage location
> >> which should be referenced in this file.
> >
> > In the Documentation directory find . -name "*cocci*"
> >
> > gives
> >
> > ./dev-tools/coccinelle.rst
> >
> > I think you could have done that yourself.
>
> Does the usage of the format "reStructuredText" trigger further considerations
> like the following?
>
> * Does your feedback suggest that the path from this source file should be put
>   in related places?
>
> * Would it make sense to store such a file name in a special variable?
>
> * When would you refer to generated file formats (like PDF) for this use case?

Either you send the patch, or I will send the patch, when I have time,
with no credit to you.  I'm not an expert on all of the future plans for
the documentation,  The only think I know is where the file is now, and
that the file is perfectly readable in its rst format, and thus it seems
quite all right to reference it.  If the situation change in the future,
we can have another patch in the future.

julia

[toc] | [prev] | [next] | [standalone]


#1497043

FromSF Markus Elfring <elfring@users.sourceforge.net>
Date2016-10-07 09:30 +0200
Message-ID<spxLs-5eW-11@gated-at.bofh.it>
In reply to#1497033
> Either you send the patch, or I will send the patch, when I have time,
> with no credit to you.

I am curious when "the time" will be appropriate.


> I'm not an expert on all of the future plans for the documentation,

I assumed that you know a bit more about the corresponding software evolution
than me.


> The only think I know is where the file is now, and that the file
> is perfectly readable in its rst format, and thus it seems
> quite all right to reference it.

I can agree to such an information in principle.


> If the situation change in the future, we can have another patch
> in the future.

I would appreciate another clarification:
Do I overlook any commit for the discussed source file anyhow?
https://git.kernel.org/cgit/linux/kernel/git/next/linux-next.git/log/dev-tools/coccinelle.rst

Regards,
Markus

[toc] | [prev] | [next] | [standalone]


#1497155

FromSF Markus Elfring <elfring@users.sourceforge.net>
Date2016-10-07 15:30 +0200
Message-ID<spDnP-YF-9@gated-at.bofh.it>
In reply to#1497043
> Do I overlook any commit for the discussed source file anyhow?
> https://git.kernel.org/cgit/linux/kernel/git/next/linux-next.git/log/dev-tools/coccinelle.rst

It seems that I missed this file also because an other path will be appropriate.
https://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/log/Documentation/dev-tools/coccinelle.rst

Regards,
Markus

[toc] | [prev] | [next] | [standalone]


#1497178 — [PATCH] scripts/coccicheck: Update reference for the corresponding documentation

FromSF Markus Elfring <elfring@users.sourceforge.net>
Date2016-10-07 16:20 +0200
Subject[PATCH] scripts/coccicheck: Update reference for the corresponding documentation
Message-ID<spEae-1y8-7@gated-at.bofh.it>
In reply to#1497033
From: Markus Elfring <elfring@users.sourceforge.net>
Date: Fri, 7 Oct 2016 16:06:15 +0200

Use the current name (in a comment at the beginning of this script) for
the file which was converted to the documentation format "reStructuredText"
in August 2016.

Fixes: 4b9033a33494ec9154d63e706e9e47f7eb3fd59e ("docs: sphinxify coccinelle.txt and add it to dev-tools")
Signed-off-by: Markus Elfring <elfring@users.sourceforge.net>
---
 scripts/coccicheck | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/coccicheck b/scripts/coccicheck
index c92c1528..ec487b8 100755
--- a/scripts/coccicheck
+++ b/scripts/coccicheck
@@ -1,7 +1,7 @@
 #!/bin/bash
 # Linux kernel coccicheck
 #
-# Read Documentation/coccinelle.txt
+# Read Documentation/dev-tools/coccinelle.rst
 #
 # This script requires at least spatch
 # version 1.0.0-rc11.
-- 
2.10.1

[toc] | [prev] | [next] | [standalone]


#1497466 — Re: [PATCH] scripts/coccicheck: Update reference for the corresponding documentation

FromJulia Lawall <julia.lawall@lip6.fr>
Date2016-10-07 20:40 +0200
SubjectRe: [PATCH] scripts/coccicheck: Update reference for the corresponding documentation
Message-ID<spIdP-4nx-3@gated-at.bofh.it>
In reply to#1497178

On Fri, 7 Oct 2016, SF Markus Elfring wrote:

> From: Markus Elfring <elfring@users.sourceforge.net>
> Date: Fri, 7 Oct 2016 16:06:15 +0200
>
> Use the current name (in a comment at the beginning of this script) for
> the file which was converted to the documentation format "reStructuredText"
> in August 2016.
>
> Fixes: 4b9033a33494ec9154d63e706e9e47f7eb3fd59e ("docs: sphinxify coccinelle.txt and add it to dev-tools")
> Signed-off-by: Markus Elfring <elfring@users.sourceforge.net>

Acked-by: Julia Lawall <julia.lawall@lip6.fr>

> ---
>  scripts/coccicheck | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/scripts/coccicheck b/scripts/coccicheck
> index c92c1528..ec487b8 100755
> --- a/scripts/coccicheck
> +++ b/scripts/coccicheck
> @@ -1,7 +1,7 @@
>  #!/bin/bash
>  # Linux kernel coccicheck
>  #
> -# Read Documentation/coccinelle.txt
> +# Read Documentation/dev-tools/coccinelle.rst
>  #
>  # This script requires at least spatch
>  # version 1.0.0-rc11.
> --
> 2.10.1
>
> --
> To unsubscribe from this list: send the line "unsubscribe kernel-janitors" in
> the body of a message to majordomo@vger.kernel.org
> More majordomo info at  http://vger.kernel.org/majordomo-info.html
>

[toc] | [prev] | [next] | [standalone]


#1498650 — Re: [PATCH] scripts/coccicheck: Update reference for the corresponding documentation

FromMichal Marek <mmarek@suse.com>
Date2016-10-11 10:00 +0200
SubjectRe: [PATCH] scripts/coccicheck: Update reference for the corresponding documentation
Message-ID<sr08G-3Rx-23@gated-at.bofh.it>
In reply to#1497466
On Fri, Oct 07, 2016 at 08:30:48PM +0200, Julia Lawall wrote:
> 
> 
> On Fri, 7 Oct 2016, SF Markus Elfring wrote:
> 
> > From: Markus Elfring <elfring@users.sourceforge.net>
> > Date: Fri, 7 Oct 2016 16:06:15 +0200
> >
> > Use the current name (in a comment at the beginning of this script) for
> > the file which was converted to the documentation format "reStructuredText"
> > in August 2016.
> >
> > Fixes: 4b9033a33494ec9154d63e706e9e47f7eb3fd59e ("docs: sphinxify coccinelle.txt and add it to dev-tools")
> > Signed-off-by: Markus Elfring <elfring@users.sourceforge.net>
> 
> Acked-by: Julia Lawall <julia.lawall@lip6.fr>

Applied to kbuild.git#misc, thanks.

Michal

[toc] | [prev] | [next] | [standalone]


#1497036

FromSF Markus Elfring <elfring@users.sourceforge.net>
Date2016-10-07 08:40 +0200
Message-ID<spwPn-4yv-3@gated-at.bofh.it>
In reply to#1497031
>>>> https://git.kernel.org/cgit/linux/kernel/git/next/linux-next.git/tree/scripts/coccicheck?id=c802e87fbe2d4dd58982d01b3c39bc5a781223aa#n4
>>>
>>> How about submitting a patch to fix the problem?
>>
>> I would appreciate to become a bit more sure about the current storage location
>> which should be referenced in this file.
> 
> In the Documentation directory find . -name "*cocci*"
> 
> gives
> 
> ./dev-tools/coccinelle.rst
> 
> I think you could have done that yourself.

Does the usage of the format "reStructuredText" trigger further considerations
like the following?

* Does your feedback suggest that the path from this source file should be put
  in related places?

* Would it make sense to store such a file name in a special variable?

* When would you refer to generated file formats (like PDF) for this use case?

Regards,
Markus

[toc] | [prev] | [next] | [standalone]


#1497032

FromSF Markus Elfring <elfring@users.sourceforge.net>
Date2016-10-07 08:10 +0200
Message-ID<spww1-4lC-9@gated-at.bofh.it>
In reply to#1497027
>> https://git.kernel.org/cgit/linux/kernel/git/next/linux-next.git/tree/scripts/coccicheck?id=c802e87fbe2d4dd58982d01b3c39bc5a781223aa#n4
> 
> How about submitting a patch to fix the problem?

I would appreciate to become a bit more sure about the current storage location
which should be referenced in this file.

Regards,
Markus

[toc] | [prev] | [next] | [standalone]


#1497135 — Re: docs: Fixing "sphinxify coccinelle.txt"?

FromSF Markus Elfring <elfring@users.sourceforge.net>
Date2016-10-07 14:30 +0200
SubjectRe: docs: Fixing "sphinxify coccinelle.txt"?
Message-ID<spCrM-mK-3@gated-at.bofh.it>
In reply to#1497027
>> Information from a commit like "docs: sphinxify coccinelle.txt and add it
>> to dev-tools" caught also my software development attention.
>> https://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/commit/Documentation/coccinelle.txt?id=4b9033a33494ec9154d63e706e9e47f7eb3fd59e
>>
>> Did an other information from a comment become outdated in the script "coccicheck"
>> because of such changes for the documentation format?
>> https://git.kernel.org/cgit/linux/kernel/git/next/linux-next.git/tree/scripts/coccicheck?id=c802e87fbe2d4dd58982d01b3c39bc5a781223aa#n4
> 
> How about submitting a patch to fix the problem?

Is the published commit (from 2016-08-08 / 2016-08-18) generally questionable
as I see it by the interface "cgit" at the moment?

* Does this one contain only the deletion of the file "Documentation/coccinelle.txt"?

* How should the result from the mentioned action "add it to dev-tools"
  look like finally?

* How could the acknowledgements happen for a software transformation
  which seems to be incomplete there?


I find another data display also interesting and more promising.
https://patchwork.kernel.org/patch/9269973/

* Should this patch about the desired file format conversion become available
  also by the other known interfaces?

* Would it have been nicer to include a corresponding update for the file
  "scripts/coccicheck" there, too?

* Do we need to clarify the distribution of the correct version any further?


Regards,
Markus

[toc] | [prev] | [next] | [standalone]


#1497151 — Re: docs: Fixing "sphinxify coccinelle.txt"?

FromSF Markus Elfring <elfring@users.sourceforge.net>
Date2016-10-07 15:20 +0200
SubjectRe: docs: Fixing "sphinxify coccinelle.txt"?
Message-ID<spDea-V4-23@gated-at.bofh.it>
In reply to#1497135
>>> Information from a commit like "docs: sphinxify coccinelle.txt and add it
>>> to dev-tools" caught also my software development attention.
>>> https://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/commit/Documentation/coccinelle.txt?id=4b9033a33494ec9154d63e706e9e47f7eb3fd59e
>>>
>>> Did an other information from a comment become outdated in the script "coccicheck"
>>> because of such changes for the documentation format?
>>> https://git.kernel.org/cgit/linux/kernel/git/next/linux-next.git/tree/scripts/coccicheck?id=c802e87fbe2d4dd58982d01b3c39bc5a781223aa#n4
>>
>> How about submitting a patch to fix the problem?
> 
> Is the published commit (from 2016-08-08 / 2016-08-18) generally questionable
> as I see it by the interface "cgit" at the moment?
> 
> * Does this one contain only the deletion of the file "Documentation/coccinelle.txt"?

It seems that I got an inappropriate impression from this kind of
data display alone.


The display for the changed file name contains only the desired addition.
https://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/commit/Documentation/dev-tools/coccinelle.rst?id=4b9033a33494ec9154d63e706e9e47f7eb3fd59e


> I find another data display also interesting and more promising.
> https://patchwork.kernel.org/patch/9269973/
> 
> * Should this patch about the desired file format conversion become available
>   also by the other known interfaces?

The interface "cgit v0.12" does not indicate the involved "renaming" (similarity index 56%)
so far which can be better seen in the downloadable patch file.

Regards,
Markus

[toc] | [prev] | [standalone]


Back to top | Article view | linux.kernel


csiph-web