bug#39625: closed ([PATCH] website: Update Guix manifest.)

[GNU bug Tracking System]

Your message dated Mon, 19 Oct 2020 19:14:21 -0500
with message-id <175435b595f.e6dd906175508.9195246225100101591@zoho.com>
and subject line [PATCH] website: Update Guix manifest.
has caused the debbugs.gnu.org bug report #39625,
regarding [PATCH] website: Update Guix manifest.
to be marked as done.

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


-- 
39625: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=39625
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] website: Update Guix manifest.
>
>
>
>
> Date: 
>
> Sat, 15 Feb 2020 17:22:22 -0500
>
>
>
>
> * website/README (Development environment): Use the manifest.
> * website/guix.packages: Use specifications->manifest.
> ---
>  website/README        | 12 ++++++++----
>  website/guix.packages | 26 +++++++++++++-------------
>  2 files changed, 21 insertions(+), 17 deletions(-)
>
> diff --git a/website/README b/website/README
> index d3a3a78..180eee9 100644
> --- a/website/README
> +++ b/website/README
> @@ -9,14 +9,18 @@ files of the website.
>  
>  * Development environment
>  
> -This website is developed using the 
> [[https://www.gnu.org/software/guix/download/][GNU Guix]] package manager. Run 
> the
> -following command to install all the software needed to build the
> -website:
> +Assuming you already have [[https://www.gnu.org/software/guix/download/][GNU 
> Guix]] installed, you can use the manifest
> +file provided with the source, ~guix.packages~, to create a separate
> +Guix profile with all the software required to work on the website.
> +For instance:
>  
>  #+BEGIN_EXAMPLE
> -$ guix package -i git glibc-locales gnutls guile guile-json 
> guile-syntax-highlight guix haunt
> +$ guix package -m guix.packages -p path/to/development/profiledir/profile
>  #+END_EXAMPLE
>  
> +See 
> [[https://guix.gnu.org/cookbook/en/html_node/Guix-Profiles-in-Practice.html#Guix-Profiles-in-Practice][Guix
>  Profiles in Practice]] for more information about creating and
> +using profiles.
> +
>  * Running the website
>  
>  To try out the website locally while you work on it, run the following
> diff --git a/website/guix.packages b/website/guix.packages
> index 386307c..2f05e65 100644
> --- a/website/guix.packages
> +++ b/website/guix.packages
> @@ -1,16 +1,16 @@
> -;;; Packages required to develop the website.
> -;;; (See guix package --manifest option for more details on this file).
> +;;; This file is a GNU Guix manifest file. You can use it with the
> +;;; "guix package" command to install all the packages necessary to
> +;;; develop the website.
>  
> -(use-modules (guix profiles)
> -            (gnu packages))
> +(use-modules (gnu packages))
>  
>  
> -(define dev-packages
> -  (list "glibc-locales"
> -       "guile@2.2"
> -       "guile-syntax-highlight"
> -       "guix"
> -       "haunt"))
> -
> -
> -(map specification->package dev-packages)
> +(specifications->manifest
> + (list "git"
> +       "glibc-locales"
> +       "gnutls"
> +       "guile"
> +       "guile-json"
> +       "guile-syntax-highlight"
> +       "guix"
> +       "haunt"))
> -- 
> 2.25.0
>
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] website: Update Guix manifest.
>
>
>
>
> Date: 
>
> Mon, 19 Oct 2020 19:14:21 -0500
>
>
>
>
> User-agent: 
>
> Zoho Mail
>
>
>
>
> Spoiled patch. There is a recent update to the website manifest (see commit 
> 05e384e811ab58f8d7f37ab92cf9dac416317af5).
>
>
> --- End Message ---