From: Liliana Marie Prikler <liliana.prikler@gmail.com>
To: Vivien Kraus <vivien@planete-kraus.eu>, 68556@debbugs.gnu.org
Cc: rg@raghavgururajan.name, maxim.cournoyer@gmail.com
Subject: [bug#68556] [PATCH gnome-team v5 3/8] gnu: gnome-shell-extensions: Wrap all the extensions.
Date: Sat, 03 Feb 2024 15:58:09 +0100 [thread overview]
Message-ID: <24f72ca3837f2c0c4095856eeba70e98a0e5b3cc.camel@gmail.com> (raw)
In-Reply-To: <af58ecccdc259a48a5230663d6fdc7e8dd102b08.1706558199.git.vivien@planete-kraus.eu>
Am Samstag, dem 20.01.2024 um 11:38 +0100 schrieb Vivien Kraus:
> The top-level modules that are wrapped are the /extension.js and
> /prefs.js of every extension sub-directory.
>
> * gnu/packages/gnome.scm (gnome-shell-extensions) [#:phase
> 'wrap-applications-menu]: Rename to 'wrap-extensions. Wrap every top-
> level module.
> [inputs]: Add glib.
> [propagated-imputs]: Remove glib.
>
> Change-Id: I88634970321aa8847857e45b369b4ba285caa87d
> ---
IMHO you should squash this and 2/8 into one patch.
> gnu/packages/gnome.scm | 45 +++++++++++++++++++++++++---------------
> --
> 1 file changed, 27 insertions(+), 18 deletions(-)
>
> diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm
> index 04fc0500cd..8bc0491230 100644
> --- a/gnu/packages/gnome.scm
> +++ b/gnu/packages/gnome.scm
> @@ -10729,32 +10729,41 @@ (define-public gnome-shell-extensions
> #:configure-flags #~'("-Dextension_set=all")
> #:phases
> #~(modify-phases %standard-phases
> - (add-after 'unpack 'wrap-applications-menu
> + (add-after 'unpack 'wrap-extensions
> (lambda _
> (use-modules (ice-9 textual-ports))
> - (call-with-output-file "extensions/apps-
> menu/extension.js-wrapped"
> - (lambda (out)
> - (format out "'~a'.split(':').forEach("
> - (getenv "GI_TYPELIB_PATH"))
> - (display
> - (string-append "path =>
> imports.gi.GIRepository.Repository"
> - ".prepend_search_path(path));\n")
> - out)
> - (display
> - (call-with-input-file "extensions/apps-
> menu/extension.js"
> - get-string-all)
> - out)))
> - (rename-file "extensions/apps-menu/extension.js-
> wrapped"
> - "extensions/apps-menu/extension.js"))))))
> + (let list-extensions ((dir (opendir "extensions")))
> + (let ((extension (readdir dir)))
> + (unless (eof-object? extension)
> + (for-each
> + (lambda (file-to-wrap)
> + (when (file-exists? file-to-wrap)
> + (call-with-output-file
> + (string-append file-to-wrap "-wrapped")
> + (lambda (out)
> + (format out "'~a'.split(':').forEach("
> + (getenv "GI_TYPELIB_PATH"))
> + (display
> + (string-append "path =>
> imports.gi.GIRepository.Repository"
> +
> ".prepend_search_path(path));\n")
> + out)
> + (display
> + (call-with-input-file file-to-wrap
> + get-string-all)
> + out)))
> + (rename-file (string-append file-to-wrap "-
> wrapped")
> + file-to-wrap)))
> + (list (string-append "extensions/" extension
> "/extension.js")
> + (string-append "extensions/" extension
> "/prefs.js")))
> + (list-extensions dir)))))))))
You can use with-atomic-file-replacement to accomplish the same. Also
try (find-files "extensions" "(extension|prefs)\\.js")
> (native-inputs
> (list `(,glib "bin")
> gettext-minimal
> gobject-introspection ;to set GI_TYPELIB_PATH
> pkg-config))
> (inputs
> - (list gnome-menus)) ;for Applications Menu
> - (propagated-inputs
> - (list glib))
> + (list glib
> + gnome-menus)) ;for Applications Menu
Do you use Emacs? If so, use M-; to pad inline comments to a suitable
length.
If not, it ought to be
gobject-introspection ; to set GI_TYPELIB_PATH
I personally prefer a space after the semicolon, but I've also seen
people prefer the opposite.
> (synopsis "Extensions for GNOME Shell")
> (description "GNOME Shell extensions modify and extend GNOME
> Shell
> functionality and behavior.")
Cheers
next prev parent reply other threads:[~2024-02-03 14:59 UTC|newest]
Thread overview: 112+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-01-17 23:03 [bug#68556] [PATCH gnome-team 00/25] Update the GNOME Shell extensions Vivien Kraus via Guix-patches via
2024-01-16 21:30 ` [bug#68556] [PATCH gnome-team 01/25] gnu: gnome-shell-extension-dash-to-dock: Update to 79 Vivien Kraus via Guix-patches via
2024-01-16 21:31 ` [bug#68556] [PATCH gnome-team 02/25] gnu: gnome-shell-extension-hide-app-icon: Modernize style Vivien Kraus via Guix-patches via
2024-01-16 21:31 ` [bug#68556] [PATCH gnome-team 04/25] gnu: gnome-shell-extension-dash-to-panel: Update to 56 Vivien Kraus via Guix-patches via
2024-01-16 21:35 ` [bug#68556] [PATCH gnome-team 05/25] gnu: gnome-shell-extension-unite-shell: Update to 72 Vivien Kraus via Guix-patches via
2024-01-16 21:40 ` [bug#68556] [PATCH gnome-team 06/25] gnu: gnome-shell-extension-appindicator: Update to 53 Vivien Kraus via Guix-patches via
2024-01-16 21:41 ` [bug#68556] [PATCH gnome-team 07/25] gnu: gnome-shell-extension-clipboard-indicator: Update to 47 Vivien Kraus via Guix-patches via
2024-01-16 21:47 ` [bug#68556] [PATCH gnome-team 08/25] gnu: gnome-shell-extensions-customize-ibus: Update to 86 Vivien Kraus via Guix-patches via
2024-01-16 21:50 ` [bug#68556] [PATCH gnome-team 09/25] gnu: gnome-shell-extension-topicons-redux: Update style Vivien Kraus via Guix-patches via
2024-01-16 21:59 ` [bug#68556] [PATCH gnome-team 10/25] gnu: gnome-shell-extension-gsconnect: Update to 55 Vivien Kraus via Guix-patches via
2024-01-17 16:20 ` [bug#68556] [PATCH gnome-team 03/25] gnu: Remove gnome-shell-extension-hide-app-icon Vivien Kraus via Guix-patches via
2024-01-17 21:35 ` [bug#68556] [PATCH gnome-team 11/25] gnu: gnome-shell-extension-blur-my-shell: Update to 47 Vivien Kraus via Guix-patches via
2024-01-17 21:57 ` [bug#68556] [PATCH gnome-team 12/25] gnu: gnome-shell-extension-burn-my-windows: Update to 40 Vivien Kraus via Guix-patches via
2024-01-17 22:19 ` [bug#68556] [PATCH gnome-team 13/25] gnu: gnome-shell-extension-radio: Update to 21 Vivien Kraus via Guix-patches via
2024-01-17 22:23 ` [bug#68556] [PATCH gnome-team 14/25] gnu: gnome-shell-extension-jiggle: Update style Vivien Kraus via Guix-patches via
2024-01-17 22:25 ` [bug#68556] [PATCH gnome-team 16/25] gnu: gnome-shell-extension-just-perfection: Update to 26.0 Vivien Kraus via Guix-patches via
2024-01-17 22:26 ` [bug#68556] [PATCH gnome-team 15/25] gnu: Remove gnome-shell-extension-jiggle Vivien Kraus via Guix-patches via
2024-01-17 22:30 ` [bug#68556] [PATCH gnome-team 17/25] gnu: gnome-shell-extension-night-theme-switcher: Update to 74 Vivien Kraus via Guix-patches via
2024-01-17 22:32 ` [bug#68556] [PATCH gnome-team 18/25] gnu: gnome-shell-extension-noannoyance: Update style Vivien Kraus via Guix-patches via
2024-01-17 22:33 ` [bug#68556] [PATCH gnome-team 19/25] gnu: Remove gnome-shell-extension-noannoyance Vivien Kraus via Guix-patches via
2024-01-17 22:36 ` [bug#68556] [PATCH gnome-team 20/25] gnu: gnome-shell-extension-paperwm: Update to 44.17.0 Vivien Kraus via Guix-patches via
2024-01-17 22:40 ` [bug#68556] [PATCH gnome-team 21/25] gnu: Remove gnome-shell-extension-sound-output-device-chooser Vivien Kraus via Guix-patches via
2024-01-17 22:42 ` [bug#68556] [PATCH gnome-team 22/25] gnu: Remove gnome-shell-extension-topicons-redux Vivien Kraus via Guix-patches via
2024-01-17 22:45 ` [bug#68556] [PATCH gnome-team 23/25] gnu: Remove gnome-shell-extension-transparent-window Vivien Kraus via Guix-patches via
2024-01-17 22:48 ` [bug#68556] [PATCH gnome-team 24/25] gnu: gnome-shell-extension-vertical-overview: Update style Vivien Kraus via Guix-patches via
2024-01-18 5:24 ` Liliana Marie Prikler
2024-01-18 11:38 ` Vivien Kraus via Guix-patches via
2024-01-18 19:53 ` Liliana Marie Prikler
2024-01-17 22:49 ` [bug#68556] [PATCH gnome-team 25/25] gnu: Remove gnome-shell-extension-vertical-overview Vivien Kraus via Guix-patches via
2024-01-19 21:50 ` [bug#68556] [PATCH gnome-team v2 00/23] Update extensions with 3 replacements Vivien Kraus via Guix-patches via
2024-01-16 21:30 ` [bug#68556] [PATCH gnome-team v2 01/23] gnu: gnome-shell-extension-dash-to-dock: Update to 79 Vivien Kraus via Guix-patches via
2024-01-16 21:31 ` [bug#68556] [PATCH gnome-team v2 04/23] gnu: gnome-shell-extension-dash-to-panel: Update to 56 Vivien Kraus via Guix-patches via
2024-01-16 21:35 ` [bug#68556] [PATCH gnome-team v2 05/23] gnu: gnome-shell-extension-unite-shell: Update to 72 Vivien Kraus via Guix-patches via
2024-01-16 21:40 ` [bug#68556] [PATCH gnome-team v2 06/23] gnu: gnome-shell-extension-appindicator: Update to 53 Vivien Kraus via Guix-patches via
2024-01-16 21:41 ` [bug#68556] [PATCH gnome-team v2 07/23] gnu: gnome-shell-extension-clipboard-indicator: Update to 47 Vivien Kraus via Guix-patches via
2024-01-16 21:47 ` [bug#68556] [PATCH gnome-team v2 08/23] gnu: gnome-shell-extensions-customize-ibus: Update to 86 Vivien Kraus via Guix-patches via
2024-01-16 21:50 ` [bug#68556] [PATCH gnome-team v2 09/23] gnu: gnome-shell-extension-topicons-redux: Update style Vivien Kraus via Guix-patches via
2024-01-16 21:59 ` [bug#68556] [PATCH gnome-team v2 10/23] gnu: gnome-shell-extension-gsconnect: Update to 55 Vivien Kraus via Guix-patches via
2024-01-17 16:20 ` [bug#68556] [PATCH gnome-team v2 03/23] gnu: gnome-shell-extension-hide-app-icon: Deprecate Vivien Kraus via Guix-patches via
2024-01-19 22:20 ` Vivien Kraus via Guix-patches via
2024-01-17 21:35 ` [bug#68556] [PATCH gnome-team v2 11/23] gnu: gnome-shell-extension-blur-my-shell: Update to 47 Vivien Kraus via Guix-patches via
2024-01-17 21:57 ` [bug#68556] [PATCH gnome-team v2 12/23] gnu: gnome-shell-extension-burn-my-windows: Update to 40 Vivien Kraus via Guix-patches via
2024-01-17 22:19 ` [bug#68556] [PATCH gnome-team v2 13/23] gnu: gnome-shell-extension-radio: Update to 21 Vivien Kraus via Guix-patches via
2024-01-17 22:25 ` [bug#68556] [PATCH gnome-team v2 02/23] gnu: gnome-shell-extension-just-perfection: Update to 26.0 Vivien Kraus via Guix-patches via
2024-01-17 22:26 ` [bug#68556] [PATCH gnome-team v2 14/23] gnu: Remove gnome-shell-extension-jiggle Vivien Kraus via Guix-patches via
2024-01-17 22:30 ` [bug#68556] [PATCH gnome-team v2 15/23] gnu: gnome-shell-extension-night-theme-switcher: Update to 74 Vivien Kraus via Guix-patches via
2024-01-17 22:32 ` [bug#68556] [PATCH gnome-team v2 16/23] gnu: Add gnome-shell-extension-noannoyance-fork Vivien Kraus via Guix-patches via
2024-01-19 22:33 ` Liliana Marie Prikler
2024-01-19 22:35 ` Vivien Kraus via Guix-patches via
2024-01-19 23:35 ` Liliana Marie Prikler
2024-01-17 22:36 ` [bug#68556] [PATCH gnome-team v2 18/23] gnu: gnome-shell-extension-paperwm: Update to 44.17.0 Vivien Kraus via Guix-patches via
2024-01-19 22:37 ` Liliana Marie Prikler
2024-01-17 22:40 ` [bug#68556] [PATCH gnome-team v2 19/23] gnu: Remove gnome-shell-extension-sound-output-device-chooser Vivien Kraus via Guix-patches via
2024-01-17 22:42 ` [bug#68556] [PATCH gnome-team v2 20/23] gnu: Remove gnome-shell-extension-topicons-redux Vivien Kraus via Guix-patches via
2024-01-17 22:45 ` [bug#68556] [PATCH gnome-team v2 21/23] gnu: Remove gnome-shell-extension-transparent-window Vivien Kraus via Guix-patches via
2024-01-18 18:19 ` [bug#68556] [PATCH gnome-team v2 22/23] gnu: Add gnome-shell-extension-v-shell Vivien Kraus via Guix-patches via
2024-01-18 18:19 ` [bug#68556] [PATCH gnome-team v2 23/23] gnu: gnome-shell-extension-vertical-overview: Deprecate Vivien Kraus via Guix-patches via
2024-01-19 21:11 ` [bug#68556] [PATCH gnome-team v2 17/23] gnu: gnome-shell-extension-noannoyance: Deprecate Vivien Kraus via Guix-patches via
2024-01-19 23:40 ` [bug#68556] [PATCH gnome-team v2 00/23] Update extensions with 3 replacements Liliana Marie Prikler
2024-01-20 0:11 ` [bug#68556] [PATCH gnome-team v3 0/7] [PATCH gnome-team v3 0/7] Update extensions (2/5 replaced, 2/5 no solution, 1/5 redundant) Vivien Kraus via Guix-patches via
2024-01-17 22:26 ` [bug#68556] [PATCH gnome-team v3 5/7] gnu: Remove gnome-shell-extension-jiggle Vivien Kraus via Guix-patches via
2024-01-20 0:41 ` Liliana Marie Prikler
2024-01-20 0:53 ` Vivien Kraus via Guix-patches via
2024-01-17 22:32 ` [bug#68556] [PATCH gnome-team v3 3/7] gnu: gnome-shell-extension-noannoyance: Switch to fork Vivien Kraus via Guix-patches via
2024-01-20 0:40 ` Liliana Marie Prikler
2024-01-20 9:06 ` Vivien Kraus via Guix-patches via
2024-01-20 10:11 ` Liliana Marie Prikler
2024-01-17 22:40 ` [bug#68556] [PATCH gnome-team v3 7/7] gnu: Remove gnome-shell-extension-sound-output-device-chooser Vivien Kraus via Guix-patches via
2024-01-17 22:42 ` [bug#68556] [PATCH gnome-team v3 4/7] gnu: gnome-shell-extension-topicons-redux: Deprecate Vivien Kraus via Guix-patches via
2024-01-17 22:45 ` [bug#68556] [PATCH gnome-team v3 6/7] gnu: Remove gnome-shell-extension-transparent-window Vivien Kraus via Guix-patches via
2024-01-19 22:36 ` [bug#68556] [PATCH gnome-team v3 2/7] gnu: gnome-shell-extensions: Propagate gnome-menus Vivien Kraus via Guix-patches via
2024-01-19 22:50 ` [bug#68556] [PATCH gnome-team v3 1/7] gnu: gnome-menus: Build GObject Introspection data Vivien Kraus via Guix-patches via
2024-01-20 0:51 ` [bug#68556] [PATCH gnome-team v3 0/7] [PATCH gnome-team v3 0/7] Update extensions (2/5 replaced, 2/5 no solution, 1/5 redundant) Liliana Marie Prikler
2024-01-20 11:02 ` [bug#68556] [PATCH gnome-team v4 0/8] Update the gnome-shell extensions and wrap more Vivien Kraus via Guix-patches via
2024-01-17 22:26 ` [bug#68556] [PATCH gnome-team v4 6/8] gnu: Remove gnome-shell-extension-jiggle Vivien Kraus via Guix-patches via
2024-01-17 22:32 ` [bug#68556] [PATCH gnome-team v4 4/8] gnu: gnome-shell-extension-noannoyance: Switch to fork Vivien Kraus via Guix-patches via
2024-01-17 22:40 ` [bug#68556] [PATCH gnome-team v4 8/8] gnu: Remove gnome-shell-extension-sound-output-device-chooser Vivien Kraus via Guix-patches via
2024-01-17 22:42 ` [bug#68556] [PATCH gnome-team v4 5/8] gnu: gnome-shell-extension-topicons-redux: Deprecate Vivien Kraus via Guix-patches via
2024-01-17 22:45 ` [bug#68556] [PATCH gnome-team v4 7/8] gnu: Remove gnome-shell-extension-transparent-window Vivien Kraus via Guix-patches via
2024-01-19 22:36 ` [bug#68556] [PATCH gnome-team v4 2/8] gnu: gnome-shell-extensions: Wrap apps-menu Vivien Kraus via Guix-patches via
2024-01-19 22:50 ` [bug#68556] [PATCH gnome-team v4 1/8] gnu: gnome-menus: Build GObject Introspection data Vivien Kraus via Guix-patches via
2024-01-20 10:38 ` [bug#68556] [PATCH gnome-team v4 3/8] gnu: gnome-shell-extensions: Wrap all the extensions Vivien Kraus via Guix-patches via
2024-01-29 19:56 ` [bug#68556] [PATCH gnome-team v5 0/8] Wrap gnome-shell-extensions with gobject-introspection in native-inputs Vivien Kraus via Guix-patches via
2024-01-17 22:26 ` [bug#68556] [PATCH gnome-team v5 6/8] gnu: Remove gnome-shell-extension-jiggle Vivien Kraus via Guix-patches via
2024-01-17 22:32 ` [bug#68556] [PATCH gnome-team v5 4/8] gnu: gnome-shell-extension-noannoyance: Switch to fork Vivien Kraus via Guix-patches via
2024-01-17 22:40 ` [bug#68556] [PATCH gnome-team v5 8/8] gnu: Remove gnome-shell-extension-sound-output-device-chooser Vivien Kraus via Guix-patches via
2024-01-17 22:42 ` [bug#68556] [PATCH gnome-team v5 5/8] gnu: gnome-shell-extension-topicons-redux: Deprecate Vivien Kraus via Guix-patches via
2024-01-17 22:45 ` [bug#68556] [PATCH gnome-team v5 7/8] gnu: Remove gnome-shell-extension-transparent-window Vivien Kraus via Guix-patches via
2024-01-19 22:36 ` [bug#68556] [PATCH gnome-team v5 2/8] gnu: gnome-shell-extensions: Wrap apps-menu Vivien Kraus via Guix-patches via
2024-01-19 22:50 ` [bug#68556] [PATCH gnome-team v5 1/8] gnu: gnome-menus: Build GObject Introspection data Vivien Kraus via Guix-patches via
2024-01-20 10:38 ` [bug#68556] [PATCH gnome-team v5 3/8] gnu: gnome-shell-extensions: Wrap all the extensions Vivien Kraus via Guix-patches via
2024-02-03 14:58 ` Liliana Marie Prikler [this message]
2024-01-29 20:53 ` [bug#68556] [PATCH gnome-team v5 0/8] Wrap gnome-shell-extensions with gobject-introspection in native-inputs Liliana Marie Prikler
2024-01-29 21:45 ` Vivien Kraus via Guix-patches via
2024-02-03 18:17 ` [bug#68556] [PATCH gnome-team v6 0/7] Wrap the extensions with (guix build utils) tools Vivien Kraus via Guix-patches via
2024-01-17 22:26 ` [bug#68556] [PATCH gnome-team v6 5/7] gnu: Remove gnome-shell-extension-jiggle Vivien Kraus via Guix-patches via
2024-01-17 22:32 ` [bug#68556] [PATCH gnome-team v6 3/7] gnu: gnome-shell-extension-noannoyance: Switch to fork Vivien Kraus via Guix-patches via
2024-01-17 22:40 ` [bug#68556] [PATCH gnome-team v6 7/7] gnu: Remove gnome-shell-extension-sound-output-device-chooser Vivien Kraus via Guix-patches via
2024-01-17 22:42 ` [bug#68556] [PATCH gnome-team v6 4/7] gnu: gnome-shell-extension-topicons-redux: Deprecate Vivien Kraus via Guix-patches via
2024-01-17 22:45 ` [bug#68556] [PATCH gnome-team v6 6/7] gnu: Remove gnome-shell-extension-transparent-window Vivien Kraus via Guix-patches via
2024-01-19 22:36 ` [bug#68556] [PATCH gnome-team v6 2/7] gnu: gnome-shell-extensions: Wrap the extensions Vivien Kraus via Guix-patches via
2024-02-03 23:45 ` Liliana Marie Prikler
2024-01-19 22:50 ` [bug#68556] [PATCH gnome-team v6 1/7] gnu: gnome-menus: Build GObject Introspection data Vivien Kraus via Guix-patches via
2024-02-04 7:00 ` [bug#68556] [PATCH gnome-team v7 0/7] Wrap all the extensions at once with dump-port Vivien Kraus via Guix-patches via
2024-01-17 22:26 ` [bug#68556] [PATCH gnome-team v7 5/7] gnu: Remove gnome-shell-extension-jiggle Vivien Kraus via Guix-patches via
2024-01-17 22:32 ` [bug#68556] [PATCH gnome-team v7 3/7] gnu: gnome-shell-extension-noannoyance: Switch to fork Vivien Kraus via Guix-patches via
2024-01-17 22:40 ` [bug#68556] [PATCH gnome-team v7 7/7] gnu: Remove gnome-shell-extension-sound-output-device-chooser Vivien Kraus via Guix-patches via
2024-01-17 22:42 ` [bug#68556] [PATCH gnome-team v7 4/7] gnu: gnome-shell-extension-topicons-redux: Deprecate Vivien Kraus via Guix-patches via
2024-01-17 22:45 ` [bug#68556] [PATCH gnome-team v7 6/7] gnu: Remove gnome-shell-extension-transparent-window Vivien Kraus via Guix-patches via
2024-01-19 22:36 ` [bug#68556] [PATCH gnome-team v7 2/7] gnu: gnome-shell-extensions: Wrap the extensions Vivien Kraus via Guix-patches via
2024-01-19 22:50 ` [bug#68556] [PATCH gnome-team v7 1/7] gnu: gnome-menus: Build GObject Introspection data Vivien Kraus via Guix-patches via
2024-02-04 20:30 ` bug#68556: [PATCH gnome-team v7 0/7] Wrap all the extensions at once with dump-port Liliana Marie Prikler
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://guix.gnu.org/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=24f72ca3837f2c0c4095856eeba70e98a0e5b3cc.camel@gmail.com \
--to=liliana.prikler@gmail.com \
--cc=68556@debbugs.gnu.org \
--cc=maxim.cournoyer@gmail.com \
--cc=rg@raghavgururajan.name \
--cc=vivien@planete-kraus.eu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/guix.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).