Re: [cocci] new version 1.2

From: Julia Lawall <julia.lawall@inria.fr>
To: Wolfram Sang <wsa+renesas@sang-engineering.com>
Cc: Wolfram Sang <wsa@kernel.org>, cocci@inria.fr
Subject: Re: [cocci] new version 1.2
Date: Tue, 16 Apr 2024 18:07:28 +0200 (CEST)	[thread overview]
Message-ID: <762b29b1-c2ba-e9e6-1054-5d4bf54b6843@inria.fr> (raw)
In-Reply-To: <5rctzuo7ynserxtyhsikkc4zhglcdqoysnt4kd3odethcv6f2o@2crrvxx6bx2b>

On Tue, 16 Apr 2024, Wolfram Sang wrote:

>
> > I can just try it, but what is CDPATH for?
>
> CDPATH is a list of directories for the 'cd' command. I have '.' and
> "$HOME" in my CDPATH. So, when I type 'cd folder', then folder can
> either be in the current dir or in $HOME and 'cd' will switch to
> whatever is first in CDPATH. A bit dangerous, but I came to like it.
>
> I still don't see why this affects dir parsing of coccinelle...

By default, Coccinelle chooses relevant files using git grep.  This
requires a cd to the specified directory.  With the CDPATH variable set,
cd to a relative path prints the full path of the destination to standard
output.  That is collected as part of the standard output of the command
(I asked for drivers/usb):

cd drivers/usb; git grep -l -w \( -e kmalloc \) -- '*.c'

I can redirect the output of cd to /dev/null.

julia