Coccinelle archive on lore.kernel.org
 help / color / Atom feed
* [Cocci] [PATCH v2] coccicheck:support $COCCI being defined as a directory
@ 2019-10-24  6:04 zhongshiqi
  2019-10-24  6:19 ` Julia Lawall
  2019-10-24  7:06 ` [Cocci] [PATCH v2] coccicheck: support $COCCI being defined as a directory Markus Elfring
  0 siblings, 2 replies; 11+ messages in thread
From: zhongshiqi @ 2019-10-24  6:04 UTC (permalink / raw)
  To: Julia.Lawall
  Cc: wang.yi59, michal.lkml, nicolas.palix, linux-kernel, xue.zhihong,
	cheng.shengyu, zhongshiqi, cocci

Put a modification in scripts/coccicheck which supports users in
configuring COCCI parameter as a directory to traverse files in
directory whose next level directory contains rule files with Suffix of
cocci.

Signed-off-by: zhongshiqi <zhong.shiqi@zte.com.cn>
---
Changes in v2:
        1.fix patch subject according to the reply by Markus
        <Markus.Elfring@web.de>
        2.change description in “imperative mood”

 scripts/coccicheck | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/scripts/coccicheck b/scripts/coccicheck
index e04d328..a1c4197 100755
--- a/scripts/coccicheck
+++ b/scripts/coccicheck
@@ -257,6 +257,10 @@ if [ "$COCCI" = "" ] ; then
     for f in `find $srctree/scripts/coccinelle/ -name '*.cocci' -type f | sort`; do
 	coccinelle $f
     done
+elif [ -d "$COCCI" ] ; then
+    for f in `find $COCCI/ -name '*.cocci' -type f | sort`; do
+	coccinelle $f
+    done
 else
     coccinelle $COCCI
 fi
-- 
2.9.5

_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

^ permalink raw reply	[flat|nested] 11+ messages in thread

* Re: [Cocci] [PATCH v2] coccicheck:support $COCCI being defined as a directory
  2019-10-24  6:04 [Cocci] [PATCH v2] coccicheck:support $COCCI being defined as a directory zhongshiqi
@ 2019-10-24  6:19 ` Julia Lawall
  2019-10-24  7:55   ` [Cocci] [PATCH v2] coccicheck: support " Markus Elfring
  2019-10-24  8:02   ` [Cocci] [PATCH v2] coccicheck:support $COCCI being defined as adirectory zhong.shiqi
  2019-10-24  7:06 ` [Cocci] [PATCH v2] coccicheck: support $COCCI being defined as a directory Markus Elfring
  1 sibling, 2 replies; 11+ messages in thread
From: Julia Lawall @ 2019-10-24  6:19 UTC (permalink / raw)
  To: zhongshiqi
  Cc: wang.yi59, michal.lkml, nicolas.palix, linux-kernel, xue.zhihong,
	cheng.shengyu, cocci

[-- Attachment #1: Type: text/plain, Size: 1577 bytes --]



On Thu, 24 Oct 2019, zhongshiqi wrote:

> Put a modification in scripts/coccicheck which supports users in
> configuring COCCI parameter as a directory to traverse files in
> directory whose next level directory contains rule files with Suffix of
> cocci.

While I thought the original was fine, if we are going to strive for
perfection, there are some things that could be changed.  First there
should be a space in the subject line after the :

Second the commit log could be more concise as:

Allow defining COCCI as a directory that contains .cocci files.

In general, at least in simple cases, it is not necessary to mention the
name of the file you are modifying in the comit log, because one can see
that just below from looking at the diffstat and the patch.

thanks,
julia

>
> Signed-off-by: zhongshiqi <zhong.shiqi@zte.com.cn>
> ---
> Changes in v2:
>         1.fix patch subject according to the reply by Markus
>         <Markus.Elfring@web.de>
>         2.change description in “imperative mood”
>
>  scripts/coccicheck | 4 ++++
>  1 file changed, 4 insertions(+)
>
> diff --git a/scripts/coccicheck b/scripts/coccicheck
> index e04d328..a1c4197 100755
> --- a/scripts/coccicheck
> +++ b/scripts/coccicheck
> @@ -257,6 +257,10 @@ if [ "$COCCI" = "" ] ; then
>      for f in `find $srctree/scripts/coccinelle/ -name '*.cocci' -type f | sort`; do
>  	coccinelle $f
>      done
> +elif [ -d "$COCCI" ] ; then
> +    for f in `find $COCCI/ -name '*.cocci' -type f | sort`; do
> +	coccinelle $f
> +    done
>  else
>      coccinelle $COCCI
>  fi
> --
> 2.9.5
>
>

[-- Attachment #2: Type: text/plain, Size: 136 bytes --]

_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

^ permalink raw reply	[flat|nested] 11+ messages in thread

* Re: [Cocci] [PATCH v2] coccicheck: support $COCCI being defined as a directory
  2019-10-24  6:04 [Cocci] [PATCH v2] coccicheck:support $COCCI being defined as a directory zhongshiqi
  2019-10-24  6:19 ` Julia Lawall
@ 2019-10-24  7:06 ` Markus Elfring
  2019-10-24  8:03   ` [Cocci] [PATCH v2] coccicheck: support $COCCI being defined as adirectory zhong.shiqi
  1 sibling, 1 reply; 11+ messages in thread
From: Markus Elfring @ 2019-10-24  7:06 UTC (permalink / raw)
  To: Zhong Shiqi, cocci
  Cc: Yi Wang, Michal Marek, Nicolas Palix, kernel-janitors,
	linux-kernel, Xue Zhihong, Cheng Shengyu

I find that the commit message should still be considerably improved.
How do you think about to use the subject “[PATCH] coccicheck:
Support search for SmPL scripts within selected directory hierarchy”?


> Put a modification in scripts/coccicheck which supports users in
> configuring COCCI parameter as a directory to traverse files in
> directory whose next level directory contains rule files with Suffix of cocci.

* Please avoid a typo in this change description.

* Would you like to integrate a wording approach like the following?

  A search can be performed for SmPL scripts within a directory hierarchy.
  Start a corresponding file determination if the environment variable “COCCI”
  contains an acceptable path.


Regards,
Markus
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

^ permalink raw reply	[flat|nested] 11+ messages in thread

* Re: [Cocci] [PATCH v2] coccicheck: support $COCCI being defined as a directory
  2019-10-24  6:19 ` Julia Lawall
@ 2019-10-24  7:55   ` " Markus Elfring
  2019-10-24  7:58     ` Julia Lawall
  2019-10-24  8:02   ` [Cocci] [PATCH v2] coccicheck:support $COCCI being defined as adirectory zhong.shiqi
  1 sibling, 1 reply; 11+ messages in thread
From: Markus Elfring @ 2019-10-24  7:55 UTC (permalink / raw)
  To: Julia Lawall, cocci
  Cc: Yi Wang, Michal Marek, Nicolas Palix, kernel-janitors,
	linux-kernel, Xue Zhihong, Cheng Shengyu, Zhong Shiqi

> Second the commit log could be more concise as:

I like your desire for choosing a more appropriate commit message.


> Allow defining COCCI as a directory that contains .cocci files.

I would prefer to concentrate the patch subject on other information.


> In general, at least in simple cases, it is not necessary to mention the
> name of the file you are modifying in the comit log, because one can see
> that just below from looking at the diffstat and the patch.

This view can be reasonable. - How does it fit to the usual requirement
for the specification of a “subsystem” (or “prefix”) according to the
canonical patch format?
https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/tree/Documentation/process/submitting-patches.rst?id=13b86bc4cd648eae69fdcf3d04b2750c76350053#n656

Regards,
Markus
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

^ permalink raw reply	[flat|nested] 11+ messages in thread

* Re: [Cocci] [PATCH v2] coccicheck: support $COCCI being defined as a directory
  2019-10-24  7:55   ` [Cocci] [PATCH v2] coccicheck: support " Markus Elfring
@ 2019-10-24  7:58     ` Julia Lawall
  2019-10-24  9:11       ` [Cocci] [v2] " Markus Elfring
  0 siblings, 1 reply; 11+ messages in thread
From: Julia Lawall @ 2019-10-24  7:58 UTC (permalink / raw)
  To: Markus Elfring
  Cc: Yi Wang, Michal Marek, Nicolas Palix, kernel-janitors,
	linux-kernel, Xue Zhihong, Cheng Shengyu, Zhong Shiqi, cocci

[-- Attachment #1: Type: text/plain, Size: 1193 bytes --]



On Thu, 24 Oct 2019, Markus Elfring wrote:

> > Second the commit log could be more concise as:
>
> I like your desire for choosing a more appropriate commit message.
>
>
> > Allow defining COCCI as a directory that contains .cocci files.
>
> I would prefer to concentrate the patch subject on other information.
>
>
> > In general, at least in simple cases, it is not necessary to mention the
> > name of the file you are modifying in the comit log, because one can see
> > that just below from looking at the diffstat and the patch.
>
> This view can be reasonable. - How does it fit to the usual requirement
> for the specification of a “subsystem” (or “prefix”) according to the
> canonical patch format?
> https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/tree/Documentation/process/submitting-patches.rst?id=13b86bc4cd648eae69fdcf3d04b2750c76350053#n656

Huh?  I was talking about the log message, not the subject line.  Likewise
"Allow defining..." was not proposed as a subject line, but as the log
message.  With that degree of orientation, I think one can look at the
code and figure out what the intent is.  At least if one knows the meaning
of -d.

julia

[-- Attachment #2: Type: text/plain, Size: 136 bytes --]

_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

^ permalink raw reply	[flat|nested] 11+ messages in thread

* Re: [Cocci] [PATCH v2] coccicheck:support $COCCI being defined as adirectory
  2019-10-24  6:19 ` Julia Lawall
  2019-10-24  7:55   ` [Cocci] [PATCH v2] coccicheck: support " Markus Elfring
@ 2019-10-24  8:02   ` zhong.shiqi
  1 sibling, 0 replies; 11+ messages in thread
From: zhong.shiqi @ 2019-10-24  8:02 UTC (permalink / raw)
  To: julia.lawall
  Cc: wang.yi59, michal.lkml, nicolas.palix, linux-kernel, xue.zhihong,
	cheng.shengyu, cocci

[-- Attachment #1.1: Type: text/plain, Size: 1740 bytes --]

> On Thu, 24 Oct 2019, zhongshiqi wrote:
>
> > Put a modification in scripts/coccicheck which supports users in
> > configuring COCCI parameter as a directory to traverse files in
> > directory whose next level directory contains rule files with Suffix of
> > cocci.
>
> While I thought the original was fine, if we are going to strive for
> perfection, there are some things that could be changed.  First there
> should be a space in the subject line after the :
>
> Second the commit log could be more concise as:
>
> Allow defining COCCI as a directory that contains .cocci files.
>
> In general, at least in simple cases, it is not necessary to mention the
> name of the file you are modifying in the comit log, because one can see
> that just below from looking at the diffstat and the patch.
>
> thanks,
> julia
>

Thank you,it is very good for me

Best Regards,
zhong.shiqi

> >
> > Signed-off-by: zhongshiqi <zhong.shiqi@zte.com.cn>
> > ---
> > Changes in v2:
> >         1.fix patch subject according to the reply by Markus
> >         <Markus.Elfring@web.de>
> >         2.change description in “imperative mood”
> >
> >  scripts/coccicheck | 4 ++++
> >  1 file changed, 4 insertions(+)
> >
> > diff --git a/scripts/coccicheck b/scripts/coccicheck
> > index e04d328..a1c4197 100755
> > --- a/scripts/coccicheck
> > +++ b/scripts/coccicheck
> > @@ -257,6 +257,10 @@ if [ "$COCCI" = "" ] ; then
> >      for f in `find $srctree/scripts/coccinelle/ -name '*.cocci' -type f | sort`; do
> >      coccinelle $f
> >      done
> > +elif [ -d "$COCCI" ] ; then
> > +    for f in `find $COCCI/ -name '*.cocci' -type f | sort`; do
> > +    coccinelle $f
> > +    done
> >  else
> >      coccinelle $COCCI
> >  fi
> > --
> > 2.9.5
> >
> >

[-- Attachment #2: Type: text/plain, Size: 136 bytes --]

_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

^ permalink raw reply	[flat|nested] 11+ messages in thread

* Re: [Cocci] [PATCH v2] coccicheck: support $COCCI being defined as adirectory
  2019-10-24  7:06 ` [Cocci] [PATCH v2] coccicheck: support $COCCI being defined as a directory Markus Elfring
@ 2019-10-24  8:03   ` zhong.shiqi
  2019-10-24  9:23     ` [Cocci] [v2] " Markus Elfring
  0 siblings, 1 reply; 11+ messages in thread
From: zhong.shiqi @ 2019-10-24  8:03 UTC (permalink / raw)
  To: Markus.Elfring
  Cc: wang.yi59, michal.lkml, nicolas.palix, kernel-janitors,
	linux-kernel, xue.zhihong, cheng.shengyu, cocci

[-- Attachment #1.1: Type: text/plain, Size: 938 bytes --]

> I find that the commit message should still be considerably improved.
> How do you think about to use the subject “[PATCH] coccicheck:
> Support search for SmPL scripts within selected directory hierarchy”?

I would like to use subject as you said.
But it seems a little bit long, does it matter?

> > Put a modification in scripts/coccicheck which supports users in
> > configuring COCCI parameter as a directory to traverse files in
> > directory whose next level directory contains rule files with Suffix of cocci.

> * Please avoid a typo in this change description.

I am pleasure to rewrite this change description.

> * Would you like to integrate a wording approach like the following?

I'd like to. Thanks.

> A search can be performed for SmPL scripts within a directory hierarchy.
> Start a corresponding file determination if the environment variable “COCCI”
> contains an acceptable path.

Best Regards,
zhong.shiqi

[-- Attachment #2: Type: text/plain, Size: 136 bytes --]

_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

^ permalink raw reply	[flat|nested] 11+ messages in thread

* Re: [Cocci] [v2] coccicheck: support $COCCI being defined as a directory
  2019-10-24  7:58     ` Julia Lawall
@ 2019-10-24  9:11       ` " Markus Elfring
  0 siblings, 0 replies; 11+ messages in thread
From: Markus Elfring @ 2019-10-24  9:11 UTC (permalink / raw)
  To: Julia Lawall, cocci
  Cc: Yi Wang, Michal Marek, Nicolas Palix, kernel-janitors,
	linux-kernel, Xue Zhihong, Cheng Shengyu, Zhong Shiqi

>> https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/tree/Documentation/process/submitting-patches.rst?id=13b86bc4cd648eae69fdcf3d04b2750c76350053#n656
>
> Huh?  I was talking about the log message, not the subject line.

Thanks for this clarification.


> With that degree of orientation, I think one can look at the code
> and figure out what the intent is.

The intention should become clear by reading the commit message
(combination of a subject and change description) alone already,
shouldn't it?

Regards,
Markus
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

^ permalink raw reply	[flat|nested] 11+ messages in thread

* Re: [Cocci] [v2] coccicheck: support $COCCI being defined as adirectory
  2019-10-24  8:03   ` [Cocci] [PATCH v2] coccicheck: support $COCCI being defined as adirectory zhong.shiqi
@ 2019-10-24  9:23     ` " Markus Elfring
  2019-10-24  9:58       ` zhong.shiqi
  0 siblings, 1 reply; 11+ messages in thread
From: Markus Elfring @ 2019-10-24  9:23 UTC (permalink / raw)
  To: Zhong Shiqi, cocci
  Cc: Yi Wang, Michal Marek, Nicolas Palix, kernel-janitors,
	linux-kernel, Xue Zhihong, Cheng Shengyu

>> How do you think about to use the subject “[PATCH] coccicheck:
>> Support search for SmPL scripts within selected directory hierarchy”?
>
> I would like to use subject as you said.

Thanks for your positive feedback.


> But it seems a little bit long,

I hope that this suggestion is still appropriate.


> does it matter?

Do you know an approach which can express almost the same information
with a shorter wording (besides using an other language) at this place?

Regards,
Markus
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

^ permalink raw reply	[flat|nested] 11+ messages in thread

* Re: [Cocci] [v2] coccicheck: support $COCCI being defined as adirectory
  2019-10-24  9:23     ` [Cocci] [v2] " Markus Elfring
@ 2019-10-24  9:58       ` zhong.shiqi
  2019-10-24 10:52         ` [Cocci] [v2] coccicheck: support $COCCI being defined as a directory Markus Elfring
  0 siblings, 1 reply; 11+ messages in thread
From: zhong.shiqi @ 2019-10-24  9:58 UTC (permalink / raw)
  To: Markus.Elfring
  Cc: wang.yi59, michal.lkml, nicolas.palix, kernel-janitors,
	linux-kernel, xue.zhihong, cheng.shengyu, cocci

[-- Attachment #1.1: Type: text/plain, Size: 626 bytes --]

> >> How do you think about to use the subject “[PATCH] coccicheck:
> >> Support search for SmPL scripts within selected directory hierarchy”?
> >
> > I would like to use subject as you said.
>
> Thanks for your positive feedback.
>
>
> > But it seems a little bit long,
>
> I hope that this suggestion is still appropriate.
>
>
> > does it matter?
>
> Do you know an approach which can express almost the same information
> with a shorter wording (besides using an other language) at this place?

How do you think about to use the subject "[PATCH] coccicheck:
Support search in a selected directory"?

> Regards,
> Markus

[-- Attachment #2: Type: text/plain, Size: 136 bytes --]

_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

^ permalink raw reply	[flat|nested] 11+ messages in thread

* Re: [Cocci] [v2] coccicheck: support $COCCI being defined as a directory
  2019-10-24  9:58       ` zhong.shiqi
@ 2019-10-24 10:52         ` Markus Elfring
  0 siblings, 0 replies; 11+ messages in thread
From: Markus Elfring @ 2019-10-24 10:52 UTC (permalink / raw)
  To: Zhong Shiqi, cocci
  Cc: Yi Wang, Michal Marek, Nicolas Palix, kernel-janitors,
	linux-kernel, Xue Zhihong, Cheng Shengyu

> How do you think about to use the subject "[PATCH] coccicheck: Support search in a selected directory"?

I am unsure about such a reduced variant.
Its acceptance will depend also on other Linux contributors as usual.

Regards,
Markus
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

^ permalink raw reply	[flat|nested] 11+ messages in thread

end of thread, back to index

Thread overview: 11+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-10-24  6:04 [Cocci] [PATCH v2] coccicheck:support $COCCI being defined as a directory zhongshiqi
2019-10-24  6:19 ` Julia Lawall
2019-10-24  7:55   ` [Cocci] [PATCH v2] coccicheck: support " Markus Elfring
2019-10-24  7:58     ` Julia Lawall
2019-10-24  9:11       ` [Cocci] [v2] " Markus Elfring
2019-10-24  8:02   ` [Cocci] [PATCH v2] coccicheck:support $COCCI being defined as adirectory zhong.shiqi
2019-10-24  7:06 ` [Cocci] [PATCH v2] coccicheck: support $COCCI being defined as a directory Markus Elfring
2019-10-24  8:03   ` [Cocci] [PATCH v2] coccicheck: support $COCCI being defined as adirectory zhong.shiqi
2019-10-24  9:23     ` [Cocci] [v2] " Markus Elfring
2019-10-24  9:58       ` zhong.shiqi
2019-10-24 10:52         ` [Cocci] [v2] coccicheck: support $COCCI being defined as a directory Markus Elfring

Coccinelle archive on lore.kernel.org

Archives are clonable:
	git clone --mirror https://lore.kernel.org/cocci/0 cocci/git/0.git

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V2 cocci cocci/ https://lore.kernel.org/cocci \
		cocci@systeme.lip6.fr
	public-inbox-index cocci

Example config snippet for mirrors

Newsgroup available over NNTP:
	nntp://nntp.lore.kernel.org/fr.lip6.systeme.cocci


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git