bug#73943: closed ([PATCH] gnu: gawk: Add search-paths.)

[GNU bug Tracking System]

Your message dated Wed, 6 Nov 2024 13:00:44 +0200
with message-id <ZytMXCYwp1yjLqpQ@3900XT>
and subject line Re: bug#73943: Acknowledgement ([PATCH] gnu: gawk: Add 
search-paths.)
has caused the debbugs.gnu.org bug report #73943,
regarding [PATCH] gnu: gawk: Add search-paths.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
73943: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=73943
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: gawk: Add search-paths.
>
>
>
>
> Date: 
>
> Tue, 22 Oct 2024 10:32:56 +0300
>
>
>
>
> * gnu/packages/gawk.scm (gawk)[search-paths]: New field.
>
> Change-Id: Idbf2709b793ebd58e1aae8d07698e1f3e816babd
> ---
>
> As seen here¹, this allows loading either source or compiled modules to
> provide more functions in gawk.
>
> ¹ https://www.gnu.org/software/gawk/manual/html_node/AWKLIBPATH-Variable.html
>
>  gnu/packages/gawk.scm | 7 +++++++
>  1 file changed, 7 insertions(+)
>
> diff --git a/gnu/packages/gawk.scm b/gnu/packages/gawk.scm
> index cea58bd415c..6a77a692f5a 100644
> --- a/gnu/packages/gawk.scm
> +++ b/gnu/packages/gawk.scm
> @@ -89,6 +89,13 @@ (define-public gawk
>                   ;; sometimes fail non-deterministically.
>                   bash))
>  
> +   (search-paths
> +    (list (search-path-specification
> +           (variable "AWKPATH")
> +           (files (list "share/awk")))
> +          (search-path-specification
> +           (variable "AWKLIBPATH")
> +           (files (list "lib/gawk")))))
>     (home-page "https://www.gnu.org/software/gawk/";)
>     (synopsis "Text scanning and processing language")
>     (description
>
> base-commit: ebdbaf6b391848d8287a7985bb49ac419586e0a1
> -- 
> Efraim Flashner   <efraim@flashner.co.il>   רנשלפ םירפא
> GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
> Confidentiality cannot be guaranteed on emails sent or received unencrypted
>
>
>
>
> --- End Message ---

--- Begin Message --- Subject: Re: bug#73943: Acknowledgement ([PATCH] gnu: gawk: Add search-paths.) Date: Wed, 6 Nov 2024 13:00:44 +0200

Patch pushed

-- 
Efraim Flashner   <efraim@flashner.co.il>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted

signature.asc
Description: PGP signature

--- End Message ---