All of lore.kernel.org
 help / color / mirror / Atom feed
* [PATCH] scripts: coccicheck: Use /usr/bin/env
@ 2023-01-26 21:56 ` Jarkko Sakkinen
  0 siblings, 0 replies; 3+ messages in thread
From: Jarkko Sakkinen @ 2023-01-26 21:56 UTC (permalink / raw)
  To: Julia Lawall
  Cc: Jarkko Sakkinen, Nicolas Palix,
	moderated list:COCCINELLE/Semantic Patches (SmPL),
	open list

If bash is not located under /bin, coccicheck fails to run.  In the real
world, this happens for instance when NixOS is used in the host.  Instead,
use /usr/bin/env to locate the executable binary for bash.

Signed-off-by: Jarkko Sakkinen <jarkko@kernel.org>
---
 scripts/coccicheck | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/coccicheck b/scripts/coccicheck
index 2956fce8fa4f..b4d0d6eb3e73 100755
--- a/scripts/coccicheck
+++ b/scripts/coccicheck
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 # SPDX-License-Identifier: GPL-2.0
 # Linux kernel coccicheck
 #
-- 
2.38.1


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

* [cocci] [PATCH] scripts: coccicheck: Use /usr/bin/env
@ 2023-01-26 21:56 ` Jarkko Sakkinen
  0 siblings, 0 replies; 3+ messages in thread
From: Jarkko Sakkinen @ 2023-01-26 21:56 UTC (permalink / raw)
  To: Julia Lawall
  Cc: Jarkko Sakkinen, Nicolas Palix,
	moderated list:COCCINELLE/Semantic Patches (SmPL),
	open list

If bash is not located under /bin, coccicheck fails to run.  In the real
world, this happens for instance when NixOS is used in the host.  Instead,
use /usr/bin/env to locate the executable binary for bash.

Signed-off-by: Jarkko Sakkinen <jarkko@kernel.org>
---
 scripts/coccicheck | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/coccicheck b/scripts/coccicheck
index 2956fce8fa4f..b4d0d6eb3e73 100755
--- a/scripts/coccicheck
+++ b/scripts/coccicheck
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 # SPDX-License-Identifier: GPL-2.0
 # Linux kernel coccicheck
 #
-- 
2.38.1


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

* Re: [PATCH] scripts: coccicheck: Use /usr/bin/env
  2023-01-26 21:56 ` [cocci] " Jarkko Sakkinen
  (?)
@ 2023-02-25 19:26 ` Julia Lawall
  -1 siblings, 0 replies; 3+ messages in thread
From: Julia Lawall @ 2023-02-25 19:26 UTC (permalink / raw)
  To: Jarkko Sakkinen; +Cc: Nicolas Palix, open list



On Thu, 26 Jan 2023, Jarkko Sakkinen wrote:

> If bash is not located under /bin, coccicheck fails to run.  In the real
> world, this happens for instance when NixOS is used in the host.  Instead,
> use /usr/bin/env to locate the executable binary for bash.
>
> Signed-off-by: Jarkko Sakkinen <jarkko@kernel.org>

Applied, thanks.

julia

> ---
>  scripts/coccicheck | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/scripts/coccicheck b/scripts/coccicheck
> index 2956fce8fa4f..b4d0d6eb3e73 100755
> --- a/scripts/coccicheck
> +++ b/scripts/coccicheck
> @@ -1,4 +1,4 @@
> -#!/bin/bash
> +#!/usr/bin/env bash
>  # SPDX-License-Identifier: GPL-2.0
>  # Linux kernel coccicheck
>  #
> --
> 2.38.1
>
>

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

end of thread, other threads:[~2023-02-25 19:26 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-01-26 21:56 [PATCH] scripts: coccicheck: Use /usr/bin/env Jarkko Sakkinen
2023-01-26 21:56 ` [cocci] " Jarkko Sakkinen
2023-02-25 19:26 ` Julia Lawall

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.