nls: Update translations.

po/guix/tr.po: New file.
po/guix/LINGUAS: Add it.

1 files changed, 658 insertions, 624 deletions

diff --git a/po/doc/guix-cookbook.ko.po b/po/doc/guix-cookbook.ko.po
index 7f5accc24a..9580290523 100644
--- a/po/doc/guix-cookbook.ko.po
+++ b/po/doc/guix-cookbook.ko.po
@@ -7,7 +7,7 @@ msgid ""
 msgstr ""
 "Project-Id-Version: guix manual checkout\n"
 "Report-Msgid-Bugs-To: bug-guix@gnu.org\n"
-"POT-Creation-Date: 2022-06-04 14:03+0000\n"
+"POT-Creation-Date: 2022-07-09 07:59+0000\n"
 "PO-Revision-Date: 2022-05-25 08:18+0000\n"
 "Last-Translator: 김인수 <simmon@nplob.com>\n"
 "Language-Team: Korean <https://translate.fedoraproject.org/projects/guix/documentation-cookbook/ko/>\n"
@@ -99,7 +99,7 @@ msgstr "당신을 위하여 좋아 할만한 새로운 언어를 만납니다!"
 
 #. type: chapter
 #: guix-git/doc/guix-cookbook.texi:76 guix-git/doc/guix-cookbook.texi:89
-#: guix-git/doc/guix-cookbook.texi:308 guix-git/doc/guix-cookbook.texi:309
+#: guix-git/doc/guix-cookbook.texi:325 guix-git/doc/guix-cookbook.texi:326
 #, no-wrap
 msgid "Packaging"
 msgstr "포장"
@@ -111,7 +111,7 @@ msgstr "꾸러미 개인학습"
 
 #. type: chapter
 #: guix-git/doc/guix-cookbook.texi:76 guix-git/doc/guix-cookbook.texi:93
-#: guix-git/doc/guix-cookbook.texi:1343 guix-git/doc/guix-cookbook.texi:1344
+#: guix-git/doc/guix-cookbook.texi:1360 guix-git/doc/guix-cookbook.texi:1361
 #, no-wrap
 msgid "System Configuration"
 msgstr "시스템 설정"
@@ -122,8 +122,8 @@ msgid "Customizing the GNU System"
 msgstr "GNU 시스템 맞춤설정"
 
 #. type: chapter
-#: guix-git/doc/guix-cookbook.texi:76 guix-git/doc/guix-cookbook.texi:2441
-#: guix-git/doc/guix-cookbook.texi:2442
+#: guix-git/doc/guix-cookbook.texi:76 guix-git/doc/guix-cookbook.texi:2458
+#: guix-git/doc/guix-cookbook.texi:2459
 #, no-wrap
 msgid "Advanced package management"
 msgstr "향상된 꾸러미 관리"
@@ -134,8 +134,8 @@ msgid "Power to the users!"
 msgstr "사용자에게 힘을!"
 
 #. type: chapter
-#: guix-git/doc/guix-cookbook.texi:76 guix-git/doc/guix-cookbook.texi:2840
-#: guix-git/doc/guix-cookbook.texi:2841
+#: guix-git/doc/guix-cookbook.texi:76 guix-git/doc/guix-cookbook.texi:2857
+#: guix-git/doc/guix-cookbook.texi:2858
 #, no-wrap
 msgid "Environment management"
 msgstr "환경 관리"
@@ -146,8 +146,8 @@ msgid "Control environment"
 msgstr "제어 환경"
 
 #. type: chapter
-#: guix-git/doc/guix-cookbook.texi:80 guix-git/doc/guix-cookbook.texi:2964
-#: guix-git/doc/guix-cookbook.texi:2965
+#: guix-git/doc/guix-cookbook.texi:80 guix-git/doc/guix-cookbook.texi:2981
+#: guix-git/doc/guix-cookbook.texi:2982
 #, no-wrap
 msgid "Acknowledgments"
 msgstr "감사의 말"
@@ -158,8 +158,8 @@ msgid "Thanks!"
 msgstr "감사합니다!"
 
 #. type: appendix
-#: guix-git/doc/guix-cookbook.texi:80 guix-git/doc/guix-cookbook.texi:2989
-#: guix-git/doc/guix-cookbook.texi:2990
+#: guix-git/doc/guix-cookbook.texi:80 guix-git/doc/guix-cookbook.texi:3006
+#: guix-git/doc/guix-cookbook.texi:3007
 #, no-wrap
 msgid "GNU Free Documentation License"
 msgstr "GNU 자유 문서 저작권"
@@ -170,8 +170,8 @@ msgid "The license of this document."
 msgstr "이 문서의 저작권."
 
 #. type: unnumbered
-#: guix-git/doc/guix-cookbook.texi:80 guix-git/doc/guix-cookbook.texi:2995
-#: guix-git/doc/guix-cookbook.texi:2996
+#: guix-git/doc/guix-cookbook.texi:80 guix-git/doc/guix-cookbook.texi:3012
+#: guix-git/doc/guix-cookbook.texi:3013
 #, no-wrap
 msgid "Concept Index"
 msgstr "개념 색인"
@@ -199,8 +199,8 @@ msgid "Learn the basics of Scheme"
 msgstr "기본 계획을 배웁니다"
 
 #. type: section
-#: guix-git/doc/guix-cookbook.texi:91 guix-git/doc/guix-cookbook.texi:320
-#: guix-git/doc/guix-cookbook.texi:322 guix-git/doc/guix-cookbook.texi:323
+#: guix-git/doc/guix-cookbook.texi:91 guix-git/doc/guix-cookbook.texi:337
+#: guix-git/doc/guix-cookbook.texi:339 guix-git/doc/guix-cookbook.texi:340
 #, no-wrap
 msgid "Packaging Tutorial"
 msgstr "꾸러미 지도"
@@ -211,26 +211,26 @@ msgid "Let's add a package to Guix!"
 msgstr "Guix에서 꾸러미를 추가합니다!"
 
 #. type: section
-#: guix-git/doc/guix-cookbook.texi:96 guix-git/doc/guix-cookbook.texi:1363
-#: guix-git/doc/guix-cookbook.texi:1365 guix-git/doc/guix-cookbook.texi:1366
+#: guix-git/doc/guix-cookbook.texi:96 guix-git/doc/guix-cookbook.texi:1380
+#: guix-git/doc/guix-cookbook.texi:1382 guix-git/doc/guix-cookbook.texi:1383
 #, no-wrap
 msgid "Auto-Login to a Specific TTY"
 msgstr "특정한 TTY로 자동-로그인"
 
 #. type: menuentry
-#: guix-git/doc/guix-cookbook.texi:96 guix-git/doc/guix-cookbook.texi:1363
+#: guix-git/doc/guix-cookbook.texi:96 guix-git/doc/guix-cookbook.texi:1380
 msgid "Automatically Login a User to a Specific TTY"
 msgstr "사용자를 특정한 TTY로 자동으로 로그인"
 
 #. type: section
-#: guix-git/doc/guix-cookbook.texi:96 guix-git/doc/guix-cookbook.texi:1363
-#: guix-git/doc/guix-cookbook.texi:1410 guix-git/doc/guix-cookbook.texi:1411
+#: guix-git/doc/guix-cookbook.texi:96 guix-git/doc/guix-cookbook.texi:1380
+#: guix-git/doc/guix-cookbook.texi:1427 guix-git/doc/guix-cookbook.texi:1428
 #, no-wrap
 msgid "Customizing the Kernel"
 msgstr "커널을 최적화하기"
 
 #. type: menuentry
-#: guix-git/doc/guix-cookbook.texi:96 guix-git/doc/guix-cookbook.texi:1363
+#: guix-git/doc/guix-cookbook.texi:96 guix-git/doc/guix-cookbook.texi:1380
 msgid "Creating and using a custom Linux kernel on Guix System."
 msgstr "Guix 시스템에서 사용자 정의 리눅스 커널을 생성하고 사용하기."
 
@@ -262,7 +262,7 @@ msgstr ""
 
 #. type: Plain text
 #: guix-git/doc/guix-cookbook.texi:127
-msgid "Alternatively you can also run @code{guix environment --ad-hoc guile -- guile} if you'd rather not have Guile installed in your user profile."
+msgid "Alternatively you can also run @code{guix shell guile -- guile} if you'd rather not have Guile installed in your user profile."
 msgstr ""
 
 #. type: Plain text
@@ -537,85 +537,119 @@ msgstr ""
 msgid "defines the module @code{guix build-system ruby} which must be located in @file{guix/build-system/ruby.scm} somewhere in the Guile load path.  It depends on the @code{(guix store)} module and it exports two variables, @code{ruby-build} and @code{ruby-build-system}."
 msgstr ""
 
-#. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:290
-msgid "For a more detailed introduction, check out @uref{http://www.troubleshooters.com/codecorn/scheme_guile/hello.htm, Scheme at a Glance}, by Steve Litt."
+#. type: quotation
+#: guix-git/doc/guix-cookbook.texi:287
+#, no-wrap
+msgid "Going further"
 msgstr ""
 
-#. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:302
-msgid "One of the reference Scheme books is the seminal ``Structure and Interpretation of Computer Programs'', by Harold Abelson and Gerald Jay Sussman, with Julie Sussman.  You'll find a @uref{https://mitpress.mit.edu/sites/default/files/sicp/index.html, free copy online}, together with @uref{https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/, videos of the lectures by the authors}.  The book is available in Texinfo format as the @code{sicp} Guix package.  Go ahead, run @code{guix install sicp} and start reading with @code{info sicp} (@pxref{Top,,, sicp, Structure and Interpretation of Computer Programs}).  An @uref{https://sarabander.github.io/sicp/, unofficial ebook is also available}."
+#. type: quotation
+#: guix-git/doc/guix-cookbook.texi:291
+msgid "Scheme is a language that has been widely used to teach programming and you'll find plenty of material using it as a vehicle.  Here's a selection of documents to learn more about Scheme:"
 msgstr ""
 
-#. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:305
+#. type: itemize
+#: guix-git/doc/guix-cookbook.texi:296
+msgid "@uref{https://spritely.institute/static/papers/scheme-primer.html, @i{A Scheme Primer}}, by Christine Lemmer-Webber and the Spritely Institute."
+msgstr ""
+
+#. type: itemize
+#: guix-git/doc/guix-cookbook.texi:300
+msgid "@uref{http://www.troubleshooters.com/codecorn/scheme_guile/hello.htm, @i{Scheme at a Glance}}, by Steve Litt."
+msgstr ""
+
+#. type: itemize
+#: guix-git/doc/guix-cookbook.texi:306
+msgid "@uref{https://mitpress.mit.edu/sites/default/files/sicp/index.html, @i{Structure and Interpretation of Computer Programs}}, by Harold Abelson and Gerald Jay Sussman, with Julie Sussman.  Colloquially known as ``SICP'', this book is a reference."
+msgstr ""
+
+#. type: itemize
+#: guix-git/doc/guix-cookbook.texi:308
+msgid "You can also install it and read it from your computer:"
+msgstr ""
+
+#. type: example
+#: guix-git/doc/guix-cookbook.texi:312
+#, no-wrap
+msgid ""
+"guix install sicp info-reader\n"
+"info sicp\n"
+msgstr ""
+
+#. type: itemize
+#: guix-git/doc/guix-cookbook.texi:316
+msgid "An @uref{https://sarabander.github.io/sicp/, unofficial ebook} is also available."
+msgstr ""
+
+#. type: quotation
+#: guix-git/doc/guix-cookbook.texi:321
 msgid "You'll find more books, tutorials and other resources at @url{https://schemers.org/}."
 msgstr ""
 
 #. type: cindex
-#: guix-git/doc/guix-cookbook.texi:311
+#: guix-git/doc/guix-cookbook.texi:328
 #, no-wrap
 msgid "packaging"
 msgstr "패키징"
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:317
+#: guix-git/doc/guix-cookbook.texi:334
 msgid "This chapter is dedicated to teaching you how to add packages to the collection of packages that come with GNU Guix.  This involves writing package definitions in Guile Scheme, organizing them in package modules, and building them."
 msgstr ""
 
 #. type: menuentry
-#: guix-git/doc/guix-cookbook.texi:320
+#: guix-git/doc/guix-cookbook.texi:337
 msgid "A tutorial on how to add packages to Guix."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:331
+#: guix-git/doc/guix-cookbook.texi:348
 msgid "GNU Guix stands out as the @emph{hackable} package manager, mostly because it uses @uref{https://www.gnu.org/software/guile/, GNU Guile}, a powerful high-level programming language, one of the @uref{https://en.wikipedia.org/wiki/Scheme_%28programming_language%29, Scheme} dialects from the @uref{https://en.wikipedia.org/wiki/Lisp_%28programming_language%29, Lisp family}."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:335
+#: guix-git/doc/guix-cookbook.texi:352
 msgid "Package definitions are also written in Scheme, which empowers Guix in some very unique ways, unlike most other package managers that use shell scripts or simple languages."
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:340
+#: guix-git/doc/guix-cookbook.texi:357
 msgid "Use functions, structures, macros and all of Scheme expressiveness for your package definitions."
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:344
+#: guix-git/doc/guix-cookbook.texi:361
 msgid "Inheritance makes it easy to customize a package by inheriting from it and modifying only what is needed."
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:354
+#: guix-git/doc/guix-cookbook.texi:371
 msgid "Batch processing: the whole package collection can be parsed, filtered and processed.  Building a headless server with all graphical interfaces stripped out? It's possible.  Want to rebuild everything from source using specific compiler optimization flags? Pass the @code{#:make-flags \"...\"} argument to the list of packages.  It wouldn't be a stretch to think @uref{https://wiki.gentoo.org/wiki/USE_flag, Gentoo USE flags} here, but this goes even further: the changes don't have to be thought out beforehand by the packager, they can be @emph{programmed} by the user!"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:360
+#: guix-git/doc/guix-cookbook.texi:377
 msgid "The following tutorial covers all the basics around package creation with Guix.  It does not assume much knowledge of the Guix system nor of the Lisp language.  The reader is only expected to be familiar with the command line and to have some basic programming knowledge."
 msgstr ""
 
 #. type: subsection
-#: guix-git/doc/guix-cookbook.texi:361 guix-git/doc/guix-cookbook.texi:362
+#: guix-git/doc/guix-cookbook.texi:378 guix-git/doc/guix-cookbook.texi:379
 #, no-wrap
 msgid "A ``Hello World'' package"
 msgstr "``Hello World'' 꾸러미"
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:367
+#: guix-git/doc/guix-cookbook.texi:384
 msgid "The ``Defining Packages'' section of the manual introduces the basics of Guix packaging (@pxref{Defining Packages,,, guix, GNU Guix Reference Manual}).  In the following section, we will partly go over those basics again."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:373
+#: guix-git/doc/guix-cookbook.texi:390
 msgid "GNU@tie{}Hello is a dummy project that serves as an idiomatic example for packaging.  It uses the GNU build system (@code{./configure && make && make install}).  Guix already provides a package definition which is a perfect example to start with.  You can look up its declaration with @code{guix edit hello} from the command line.  Let's see how it looks:"
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:394
+#: guix-git/doc/guix-cookbook.texi:411
 #, no-wrap
 msgid ""
 "(define-public hello\n"
@@ -659,137 +693,137 @@ msgstr ""
 " (license gpl3+)))\n"
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:398
+#: guix-git/doc/guix-cookbook.texi:415
 msgid "As you can see, most of it is rather straightforward.  But let's review the fields together:"
 msgstr ""
 
 #. type: item
-#: guix-git/doc/guix-cookbook.texi:400
+#: guix-git/doc/guix-cookbook.texi:417
 #, no-wrap
 msgid "name"
 msgstr "이름"
 
 #. type: table
-#: guix-git/doc/guix-cookbook.texi:403
+#: guix-git/doc/guix-cookbook.texi:420
 msgid "The project name.  Using Scheme conventions, we prefer to keep it lower case, without underscore and using dash-separated words."
 msgstr ""
 
 #. type: item
-#: guix-git/doc/guix-cookbook.texi:404
+#: guix-git/doc/guix-cookbook.texi:421
 #, no-wrap
 msgid "source"
 msgstr "원천"
 
 #. type: table
-#: guix-git/doc/guix-cookbook.texi:407
+#: guix-git/doc/guix-cookbook.texi:424
 msgid "This field contains a description of the source code origin.  The @code{origin} record contains these fields:"
 msgstr ""
 
 #. type: item
-#: guix-git/doc/guix-cookbook.texi:409
+#: guix-git/doc/guix-cookbook.texi:426
 #, no-wrap
 msgid "The method, here @code{url-fetch} to download via HTTP/FTP, but other methods"
 msgstr ""
 
 #. type: enumerate
-#: guix-git/doc/guix-cookbook.texi:411
+#: guix-git/doc/guix-cookbook.texi:428
 msgid "exist, such as @code{git-fetch} for Git repositories."
 msgstr ""
 
 #. type: item
-#: guix-git/doc/guix-cookbook.texi:411
+#: guix-git/doc/guix-cookbook.texi:428
 #, no-wrap
 msgid "The URI, which is typically some @code{https://} location for @code{url-fetch}.  Here"
 msgstr ""
 
 #. type: enumerate
-#: guix-git/doc/guix-cookbook.texi:414
+#: guix-git/doc/guix-cookbook.texi:431
 msgid "the special `mirror://gnu` refers to a set of well known locations, all of which can be used by Guix to fetch the source, should some of them fail."
 msgstr ""
 
 #. type: item
-#: guix-git/doc/guix-cookbook.texi:414
+#: guix-git/doc/guix-cookbook.texi:431
 #, no-wrap
 msgid "The @code{sha256} checksum of the requested file.  This is essential to ensure"
 msgstr ""
 
 #. type: enumerate
-#: guix-git/doc/guix-cookbook.texi:417
+#: guix-git/doc/guix-cookbook.texi:434
 msgid "the source is not corrupted.  Note that Guix works with base32 strings, hence the call to the @code{base32} function."
 msgstr ""
 
 #. type: item
-#: guix-git/doc/guix-cookbook.texi:419
+#: guix-git/doc/guix-cookbook.texi:436
 #, no-wrap
 msgid "build-system"
 msgstr "구성-시스템"
 
 #. type: table
-#: guix-git/doc/guix-cookbook.texi:428
+#: guix-git/doc/guix-cookbook.texi:445
 msgid "This is where the power of abstraction provided by the Scheme language really shines: in this case, the @code{gnu-build-system} abstracts away the famous @code{./configure && make && make install} shell invocations.  Other build systems include the @code{trivial-build-system} which does not do anything and requires from the packager to program all the build steps, the @code{python-build-system}, the @code{emacs-build-system}, and many more (@pxref{Build Systems,,, guix, GNU Guix Reference Manual})."
 msgstr ""
 
 #. type: item
-#: guix-git/doc/guix-cookbook.texi:429
+#: guix-git/doc/guix-cookbook.texi:446
 #, no-wrap
 msgid "synopsis"
 msgstr "개요"
 
 #. type: table
-#: guix-git/doc/guix-cookbook.texi:432
+#: guix-git/doc/guix-cookbook.texi:449
 msgid "It should be a concise summary of what the package does.  For many packages a tagline from the project's home page can be used as the synopsis."
 msgstr ""
 
 #. type: item
-#: guix-git/doc/guix-cookbook.texi:433
+#: guix-git/doc/guix-cookbook.texi:450
 #, no-wrap
 msgid "description"
 msgstr "설명"
 
 #. type: table
-#: guix-git/doc/guix-cookbook.texi:436
+#: guix-git/doc/guix-cookbook.texi:453
 msgid "Same as for the synopsis, it's fine to re-use the project description from the homepage.  Note that Guix uses Texinfo syntax."
 msgstr ""
 
 #. type: item
-#: guix-git/doc/guix-cookbook.texi:437
+#: guix-git/doc/guix-cookbook.texi:454
 #, no-wrap
 msgid "home-page"
 msgstr "홈페이지"
 
 #. type: table
-#: guix-git/doc/guix-cookbook.texi:439
+#: guix-git/doc/guix-cookbook.texi:456
 msgid "Use HTTPS if available."
 msgstr "가능하다면 HTTPS를 사용합니다."
 
 #. type: item
-#: guix-git/doc/guix-cookbook.texi:440
+#: guix-git/doc/guix-cookbook.texi:457
 #, no-wrap
 msgid "license"
 msgstr "저작권"
 
 #. type: table
-#: guix-git/doc/guix-cookbook.texi:443
+#: guix-git/doc/guix-cookbook.texi:460
 msgid "See @code{guix/licenses.scm} in the project source for a full list of available licenses."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:447
+#: guix-git/doc/guix-cookbook.texi:464
 msgid "Time to build our first package! Nothing fancy here for now: we will stick to a dummy @code{my-hello}, a copy of the above declaration."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:451
+#: guix-git/doc/guix-cookbook.texi:468
 msgid "As with the ritualistic ``Hello World'' taught with most programming languages, this will possibly be the most ``manual'' approach.  We will work out an ideal setup later; for now we will go the simplest route."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:453
+#: guix-git/doc/guix-cookbook.texi:470
 msgid "Save the following to a file @file{my-hello.scm}."
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:459
+#: guix-git/doc/guix-cookbook.texi:476
 #, no-wrap
 msgid ""
 "(use-modules (guix packages)\n"
@@ -805,7 +839,7 @@ msgstr ""
 "\n"
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:478
+#: guix-git/doc/guix-cookbook.texi:495
 #, no-wrap
 msgid ""
 "(package\n"
@@ -847,23 +881,23 @@ msgstr ""
 " (license gpl3+))\n"
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:481
+#: guix-git/doc/guix-cookbook.texi:498
 msgid "We will explain the extra code in a moment."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:488
+#: guix-git/doc/guix-cookbook.texi:505
 msgid "Feel free to play with the different values of the various fields.  If you change the source, you'll need to update the checksum.  Indeed, Guix refuses to build anything if the given checksum does not match the computed checksum of the source code.  To obtain the correct checksum of the package declaration, we need to download the source, compute the sha256 checksum and convert it to base32."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:491
+#: guix-git/doc/guix-cookbook.texi:508
 msgid "Thankfully, Guix can automate this task for us; all we need is to provide the URI:"
 msgstr ""
 
 #.  This is example shell output.
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:495
+#: guix-git/doc/guix-cookbook.texi:512
 #, no-wrap
 msgid ""
 "$ guix download mirror://gnu/hello/hello-2.10.tar.gz\n"
@@ -871,7 +905,7 @@ msgid ""
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:502
+#: guix-git/doc/guix-cookbook.texi:519
 #, no-wrap
 msgid ""
 "Starting download of /tmp/guix-file.JLYgL7\n"
@@ -889,18 +923,18 @@ msgstr ""
 "0ssi1wpaf7plaswqqjwigppsg5fyh99vdlb9kzl7c9lng89ndq1i\n"
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:507
+#: guix-git/doc/guix-cookbook.texi:524
 msgid "In this specific case the output tells us which mirror was chosen.  If the result of the above command is not the same as in the above snippet, update your @code{my-hello} declaration accordingly."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:511
+#: guix-git/doc/guix-cookbook.texi:528
 msgid "Note that GNU package tarballs come with an OpenPGP signature, so you should definitely check the signature of this tarball with `gpg` to authenticate it before going further:"
 msgstr ""
 
 #.  This is example shell output.
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:515
+#: guix-git/doc/guix-cookbook.texi:532
 #, no-wrap
 msgid ""
 "$ guix download mirror://gnu/hello/hello-2.10.tar.gz.sig\n"
@@ -910,7 +944,7 @@ msgstr ""
 "\n"
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:530
+#: guix-git/doc/guix-cookbook.texi:547
 #, no-wrap
 msgid ""
 "Starting download of /tmp/guix-file.03tFfb\n"
@@ -944,25 +978,25 @@ msgstr ""
 "Primary key fingerprint: 8ED3 96E3 7E38 D471 A005 30D3 A955 3245 FDE9 B739\n"
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:533
+#: guix-git/doc/guix-cookbook.texi:550
 msgid "You can then happily run"
 msgstr "당신은 그런 다음에 행복하게 실행 할 수 있습니다"
 
 #.  Do not translate this command
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:537
+#: guix-git/doc/guix-cookbook.texi:554
 #, no-wrap
 msgid "$ guix package --install-from-file=my-hello.scm\n"
 msgstr "$ guix package --install-from-file=my-hello.scm\n"
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:540
+#: guix-git/doc/guix-cookbook.texi:557
 msgid "You should now have @code{my-hello} in your profile!"
 msgstr ""
 
 #.  Do not translate this command
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:546
+#: guix-git/doc/guix-cookbook.texi:563
 #, no-wrap
 msgid ""
 "$ guix package --list-installed=my-hello\n"
@@ -971,49 +1005,49 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:551
+#: guix-git/doc/guix-cookbook.texi:568
 msgid "We've gone as far as we could without any knowledge of Scheme.  Before moving on to more complex packages, now is the right time to brush up on your Scheme knowledge.  @pxref{A Scheme Crash Course} to get up to speed."
 msgstr ""
 
 #. type: subsection
-#: guix-git/doc/guix-cookbook.texi:552 guix-git/doc/guix-cookbook.texi:553
+#: guix-git/doc/guix-cookbook.texi:569 guix-git/doc/guix-cookbook.texi:570
 #, no-wrap
 msgid "Setup"
 msgstr "설정"
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:558
+#: guix-git/doc/guix-cookbook.texi:575
 msgid "In the rest of this chapter we will rely on some basic Scheme programming knowledge.  Now let's detail the different possible setups for working on Guix packages."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:560
+#: guix-git/doc/guix-cookbook.texi:577
 msgid "There are several ways to set up a Guix packaging environment."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:563
+#: guix-git/doc/guix-cookbook.texi:580
 msgid "We recommend you work directly on the Guix source checkout since it makes it easier for everyone to contribute to the project."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:565
+#: guix-git/doc/guix-cookbook.texi:582
 msgid "But first, let's look at other possibilities."
 msgstr ""
 
 #. type: subsubsection
-#: guix-git/doc/guix-cookbook.texi:566 guix-git/doc/guix-cookbook.texi:567
+#: guix-git/doc/guix-cookbook.texi:583 guix-git/doc/guix-cookbook.texi:584
 #, no-wrap
 msgid "Local file"
 msgstr "로컬 파일"
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:572
+#: guix-git/doc/guix-cookbook.texi:589
 msgid "This is what we previously did with @samp{my-hello}.  With the Scheme basics we've covered, we are now able to explain the leading chunks.  As stated in @code{guix package --help}:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:577
+#: guix-git/doc/guix-cookbook.texi:594
 #, no-wrap
 msgid ""
 "  -f, --install-from-file=FILE\n"
@@ -1025,49 +1059,49 @@ msgstr ""
 " evaluates to\n"
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:581
+#: guix-git/doc/guix-cookbook.texi:598
 msgid "Thus the last expression @emph{must} return a package, which is the case in our earlier example."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:585
+#: guix-git/doc/guix-cookbook.texi:602
 msgid "The @code{use-modules} expression tells which of the modules we need in the file.  Modules are a collection of values and procedures.  They are commonly called ``libraries'' or ``packages'' in other programming languages."
 msgstr ""
 
 #. type: node
-#: guix-git/doc/guix-cookbook.texi:586
+#: guix-git/doc/guix-cookbook.texi:603
 #, no-wrap
 msgid "@samp{GUIX_PACKAGE_PATH}"
 msgstr "@samp{GUIX_PACKAGE_PATH}"
 
 #. type: samp{#1}
-#: guix-git/doc/guix-cookbook.texi:587
+#: guix-git/doc/guix-cookbook.texi:604
 #, no-wrap
 msgid "GUIX_PACKAGE_PATH"
 msgstr "GUIX_PACKAGE_PATH"
 
 #. type: emph{#1}
-#: guix-git/doc/guix-cookbook.texi:591
+#: guix-git/doc/guix-cookbook.texi:608
 msgid "Note: Starting from Guix 0.16, the more flexible Guix @dfn{channels} are the preferred way and supersede @samp{GUIX_PACKAGE_PATH}.  See next section."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:595
+#: guix-git/doc/guix-cookbook.texi:612
 msgid "It can be tedious to specify the file from the command line instead of simply calling @code{guix package --install my-hello} as you would do with the official packages."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:598
+#: guix-git/doc/guix-cookbook.texi:615
 msgid "Guix makes it possible to streamline the process by adding as many ``package declaration directories'' as you want."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:601
+#: guix-git/doc/guix-cookbook.texi:618
 msgid "Create a directory, say @file{~/guix-packages} and add it to the @samp{GUIX_PACKAGE_PATH} environment variable:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:605
+#: guix-git/doc/guix-cookbook.texi:622
 #, no-wrap
 msgid ""
 "$ mkdir ~/guix-packages\n"
@@ -1077,17 +1111,17 @@ msgstr ""
 "$ export GUIX_PACKAGE_PATH=~/guix-packages\n"
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:608
+#: guix-git/doc/guix-cookbook.texi:625
 msgid "To add several directories, separate them with a colon (@code{:})."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:610
+#: guix-git/doc/guix-cookbook.texi:627
 msgid "Our previous @samp{my-hello} needs some adjustments though:"
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:617
+#: guix-git/doc/guix-cookbook.texi:634
 #, no-wrap
 msgid ""
 "(define-module (my-hello)\n"
@@ -1105,7 +1139,7 @@ msgstr ""
 "\n"
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:637
+#: guix-git/doc/guix-cookbook.texi:654
 #, no-wrap
 msgid ""
 "(define-public my-hello\n"
@@ -1149,17 +1183,17 @@ msgstr ""
 " (license gpl3+)))\n"
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:643
+#: guix-git/doc/guix-cookbook.texi:660
 msgid "Note that we have assigned the package value to an exported variable name with @code{define-public}.  This is effectively assigning the package to the @code{my-hello} variable so that it can be referenced, among other as dependency of other packages."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:648
+#: guix-git/doc/guix-cookbook.texi:665
 msgid "If you use @code{guix package --install-from-file=my-hello.scm} on the above file, it will fail because the last expression, @code{define-public}, does not return a package.  If you want to use @code{define-public} in this use-case nonetheless, make sure the file ends with an evaluation of @code{my-hello}:"
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:654
+#: guix-git/doc/guix-cookbook.texi:671
 #, no-wrap
 msgid ""
 "; ...\n"
@@ -1175,102 +1209,102 @@ msgstr ""
 "\n"
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:656
+#: guix-git/doc/guix-cookbook.texi:673
 #, no-wrap
 msgid "my-hello\n"
 msgstr "안녕하세요\n"
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:659
+#: guix-git/doc/guix-cookbook.texi:676
 msgid "This last example is not very typical."
 msgstr "이 마지막 예제는 매우 전형적이지 않습니다."
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:662
+#: guix-git/doc/guix-cookbook.texi:679
 msgid "Now @samp{my-hello} should be part of the package collection like all other official packages.  You can verify this with:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:665
+#: guix-git/doc/guix-cookbook.texi:682
 #, no-wrap
 msgid "$ guix package --show=my-hello\n"
 msgstr "$ guix package --show=my-hello\n"
 
 #. type: subsubsection
-#: guix-git/doc/guix-cookbook.texi:667 guix-git/doc/guix-cookbook.texi:668
+#: guix-git/doc/guix-cookbook.texi:684 guix-git/doc/guix-cookbook.texi:685
 #, no-wrap
 msgid "Guix channels"
 msgstr "Guix 채널"
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:674
+#: guix-git/doc/guix-cookbook.texi:691
 msgid "Guix 0.16 features channels, which is very similar to @samp{GUIX_PACKAGE_PATH} but provides better integration and provenance tracking.  Channels are not necessarily local, they can be maintained as a public Git repository for instance.  Of course, several channels can be used at the same time."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:676
+#: guix-git/doc/guix-cookbook.texi:693
 msgid "@xref{Channels,,, guix, GNU Guix Reference Manual} for setup details."
 msgstr ""
 
 #. type: subsubsection
-#: guix-git/doc/guix-cookbook.texi:677 guix-git/doc/guix-cookbook.texi:678
+#: guix-git/doc/guix-cookbook.texi:694 guix-git/doc/guix-cookbook.texi:695
 #, no-wrap
 msgid "Direct checkout hacking"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:683
+#: guix-git/doc/guix-cookbook.texi:700
 msgid "Working directly on the Guix project is recommended: it reduces the friction when the time comes to submit your changes upstream to let the community benefit from your hard work!"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:689
+#: guix-git/doc/guix-cookbook.texi:706
 msgid "Unlike most software distributions, the Guix repository holds in one place both the tooling (including the package manager) and the package definitions.  This choice was made so that it would give developers the flexibility to modify the API without breakage by updating all packages at the same time.  This reduces development inertia."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:691
+#: guix-git/doc/guix-cookbook.texi:708
 msgid "Check out the official @uref{https://git-scm.com/, Git} repository:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:694
+#: guix-git/doc/guix-cookbook.texi:711
 #, no-wrap
 msgid "$ git clone https://git.savannah.gnu.org/git/guix.git\n"
 msgstr "$ git clone https://git.savannah.gnu.org/git/guix.git\n"
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:698
+#: guix-git/doc/guix-cookbook.texi:715
 msgid "In the rest of this article, we use @samp{$GUIX_CHECKOUT} to refer to the location of the checkout."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:702
+#: guix-git/doc/guix-cookbook.texi:719
 msgid "Follow the instructions in the manual (@pxref{Contributing,,, guix, GNU Guix Reference Manual}) to set up the repository environment."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:705
+#: guix-git/doc/guix-cookbook.texi:722
 msgid "Once ready, you should be able to use the package definitions from the repository environment."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:707
+#: guix-git/doc/guix-cookbook.texi:724
 msgid "Feel free to edit package definitions found in @samp{$GUIX_CHECKOUT/gnu/packages}."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:711
+#: guix-git/doc/guix-cookbook.texi:728
 msgid "The @samp{$GUIX_CHECKOUT/pre-inst-env} script lets you use @samp{guix} over the package collection of the repository (@pxref{Running Guix Before It Is Installed,,, guix, GNU Guix Reference Manual})."
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:715
+#: guix-git/doc/guix-cookbook.texi:732
 msgid "Search packages, such as Ruby:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:722
+#: guix-git/doc/guix-cookbook.texi:739
 #, no-wrap
 msgid ""
 "  $ cd $GUIX_CHECKOUT\n"
@@ -1286,12 +1320,12 @@ msgstr ""
 " ruby 2.2.2 out gnu/packages/ruby.scm:39:2\n"
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:726
+#: guix-git/doc/guix-cookbook.texi:743
 msgid "Build a package, here Ruby version 2.1:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:730
+#: guix-git/doc/guix-cookbook.texi:747
 #, no-wrap
 msgid ""
 "  $ ./pre-inst-env guix build --keep-failed ruby@@2.1\n"
@@ -1299,65 +1333,65 @@ msgid ""
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:734
+#: guix-git/doc/guix-cookbook.texi:751
 msgid "Install it to your user profile:"
 msgstr "당신의 사용자 프로파일에 설치합니다:"
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:737
+#: guix-git/doc/guix-cookbook.texi:754
 #, no-wrap
 msgid "  $ ./pre-inst-env guix package --install ruby@@2.1\n"
 msgstr "  $ ./pre-inst-env guix package --install ruby@@2.1\n"
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:741
+#: guix-git/doc/guix-cookbook.texi:758
 msgid "Check for common mistakes:"
 msgstr "일반적인 실수를 점검합니다:"
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:744
+#: guix-git/doc/guix-cookbook.texi:761
 #, no-wrap
 msgid "  $ ./pre-inst-env guix lint ruby@@2.1\n"
 msgstr "  $ ./pre-inst-env guix lint ruby@@2.1\n"
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:749
+#: guix-git/doc/guix-cookbook.texi:766
 msgid "Guix strives at maintaining a high packaging standard; when contributing to the Guix project, remember to"
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:753
+#: guix-git/doc/guix-cookbook.texi:770
 msgid "follow the coding style (@pxref{Coding Style,,, guix, GNU Guix Reference Manual}),"
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:755
+#: guix-git/doc/guix-cookbook.texi:772
 msgid "and review the check list from the manual (@pxref{Submitting Patches,,, guix, GNU Guix Reference Manual})."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:759
+#: guix-git/doc/guix-cookbook.texi:776
 msgid "Once you are happy with the result, you are welcome to send your contribution to make it part of Guix.  This process is also detailed in the manual.  (@pxref{Contributing,,, guix, GNU Guix Reference Manual})"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:762
+#: guix-git/doc/guix-cookbook.texi:779
 msgid "It's a community effort so the more join in, the better Guix becomes!"
 msgstr ""
 
 #. type: subsection
-#: guix-git/doc/guix-cookbook.texi:763 guix-git/doc/guix-cookbook.texi:764
+#: guix-git/doc/guix-cookbook.texi:780 guix-git/doc/guix-cookbook.texi:781
 #, no-wrap
 msgid "Extended example"
 msgstr "확장된 예제"
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:769
+#: guix-git/doc/guix-cookbook.texi:786
 msgid "The above ``Hello World'' example is as simple as it goes.  Packages can be more complex than that and Guix can handle more advanced scenarios.  Let's look at another, more sophisticated package (slightly modified from the source):"
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:783
+#: guix-git/doc/guix-cookbook.texi:800
 #, no-wrap
 msgid ""
 "(define-module (gnu packages version-control)\n"
@@ -1389,7 +1423,7 @@ msgstr ""
 "\n"
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:837
+#: guix-git/doc/guix-cookbook.texi:854
 #, no-wrap
 msgid ""
 "(define-public my-libgit2\n"
@@ -1501,43 +1535,43 @@ msgstr ""
 "      (license license:gpl2))))\n"
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:842
+#: guix-git/doc/guix-cookbook.texi:859
 msgid "(In those cases were you only want to tweak a few fields from a package definition, you should rely on inheritance instead of copy-pasting everything.  See below.)"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:844
+#: guix-git/doc/guix-cookbook.texi:861
 msgid "Let's discuss those fields in depth."
 msgstr ""
 
 #. type: subsubsection
-#: guix-git/doc/guix-cookbook.texi:845
+#: guix-git/doc/guix-cookbook.texi:862
 #, no-wrap
 msgid "@code{git-fetch} method"
 msgstr "@code{git-fetch} 방법"
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:852
+#: guix-git/doc/guix-cookbook.texi:869
 msgid "Unlike the @code{url-fetch} method, @code{git-fetch} expects a @code{git-reference} which takes a Git repository and a commit.  The commit can be any Git reference such as tags, so if the @code{version} is tagged, then it can be used directly.  Sometimes the tag is prefixed with a @code{v}, in which case you'd use @code{(commit (string-append \"v\" version))}."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:856
+#: guix-git/doc/guix-cookbook.texi:873
 msgid "To ensure that the source code from the Git repository is stored in a directory with a descriptive name, we use @code{(file-name (git-file-name name version))}."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:861
+#: guix-git/doc/guix-cookbook.texi:878
 msgid "The @code{git-version} procedure can be used to derive the version when packaging programs for a specific commit, following the Guix contributor guidelines (@pxref{Version Numbers,,, guix, GNU Guix Reference Manual})."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:865
+#: guix-git/doc/guix-cookbook.texi:882
 msgid "How does one obtain the @code{sha256} hash that's in there, you ask? By invoking @command{guix hash} on a checkout of the desired commit, along these lines:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:871
+#: guix-git/doc/guix-cookbook.texi:888
 #, no-wrap
 msgid ""
 "git clone https://github.com/libgit2/libgit2/\n"
@@ -1551,108 +1585,108 @@ msgstr ""
 "guix hash -rx .\n"
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:876
+#: guix-git/doc/guix-cookbook.texi:893
 msgid "@command{guix hash -rx} computes a SHA256 hash over the whole directory, excluding the @file{.git} sub-directory (@pxref{Invoking guix hash,,, guix, GNU Guix Reference Manual})."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:879
+#: guix-git/doc/guix-cookbook.texi:896
 msgid "In the future, @command{guix download} will hopefully be able to do these steps for you, just like it does for regular downloads."
 msgstr ""
 
 #. type: subsubsection
-#: guix-git/doc/guix-cookbook.texi:880
+#: guix-git/doc/guix-cookbook.texi:897
 #, no-wrap
 msgid "Snippets"
 msgstr "단편"
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:886
+#: guix-git/doc/guix-cookbook.texi:903
 msgid "Snippets are quoted (i.e. non-evaluated) Scheme code that are a means of patching the source.  They are a Guix-y alternative to the traditional @file{.patch} files.  Because of the quote, the code in only evaluated when passed to the Guix daemon for building.  There can be as many snippets as needed."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:889
+#: guix-git/doc/guix-cookbook.texi:906
 msgid "Snippets might need additional Guile modules which can be imported from the @code{modules} field."
 msgstr ""
 
 #. type: subsubsection
-#: guix-git/doc/guix-cookbook.texi:890
+#: guix-git/doc/guix-cookbook.texi:907
 #, no-wrap
 msgid "Inputs"
 msgstr "입력"
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:893
+#: guix-git/doc/guix-cookbook.texi:910
 msgid "There are 3 different input types.  In short:"
 msgstr ""
 
 #. type: item
-#: guix-git/doc/guix-cookbook.texi:895
+#: guix-git/doc/guix-cookbook.texi:912
 #, no-wrap
 msgid "native-inputs"
 msgstr "기본-입력"
 
 #. type: table
-#: guix-git/doc/guix-cookbook.texi:898
+#: guix-git/doc/guix-cookbook.texi:915
 msgid "Required for building but not runtime -- installing a package through a substitute won't install these inputs."
 msgstr ""
 
 #. type: item
-#: guix-git/doc/guix-cookbook.texi:898
+#: guix-git/doc/guix-cookbook.texi:915
 #, no-wrap
 msgid "inputs"
 msgstr "입력"
 
 #. type: table
-#: guix-git/doc/guix-cookbook.texi:901
+#: guix-git/doc/guix-cookbook.texi:918
 msgid "Installed in the store but not in the profile, as well as being present at build time."
 msgstr ""
 
 #. type: item
-#: guix-git/doc/guix-cookbook.texi:901
+#: guix-git/doc/guix-cookbook.texi:918
 #, no-wrap
 msgid "propagated-inputs"
 msgstr "지연된-입력"
 
 #. type: table
-#: guix-git/doc/guix-cookbook.texi:904
+#: guix-git/doc/guix-cookbook.texi:921
 msgid "Installed in the store and in the profile, as well as being present at build time."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:907
+#: guix-git/doc/guix-cookbook.texi:924
 msgid "@xref{package Reference,,, guix, GNU Guix Reference Manual} for more details."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:911
+#: guix-git/doc/guix-cookbook.texi:928
 msgid "The distinction between the various inputs is important: if a dependency can be handled as an @emph{input} instead of a @emph{propagated input}, it should be done so, or else it ``pollutes'' the user profile for no good reason."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:918
+#: guix-git/doc/guix-cookbook.texi:935
 msgid "For instance, a user installing a graphical program that depends on a command line tool might only be interested in the graphical part, so there is no need to force the command line tool into the user profile.  The dependency is a concern to the package, not to the user.  @emph{Inputs} make it possible to handle dependencies without bugging the user by adding undesired executable files (or libraries) to their profile."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:924
+#: guix-git/doc/guix-cookbook.texi:941
 msgid "Same goes for @emph{native-inputs}: once the program is installed, build-time dependencies can be safely garbage-collected.  It also matters when a substitute is available, in which case only the @emph{inputs} and @emph{propagated inputs} will be fetched: the @emph{native inputs} are not required to install a package from a substitute."
 msgstr ""
 
 #. type: quotation
-#: guix-git/doc/guix-cookbook.texi:925 guix-git/doc/guix-cookbook.texi:1895
+#: guix-git/doc/guix-cookbook.texi:942 guix-git/doc/guix-cookbook.texi:1912
 #, no-wrap
 msgid "Note"
 msgstr "알림"
 
 #. type: quotation
-#: guix-git/doc/guix-cookbook.texi:928
+#: guix-git/doc/guix-cookbook.texi:945
 msgid "You may see here and there snippets where package inputs are written quite differently, like so:"
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:935
+#: guix-git/doc/guix-cookbook.texi:952
 #, no-wrap
 msgid ""
 ";; The \"old style\" for inputs.\n"
@@ -1663,69 +1697,69 @@ msgid ""
 msgstr ""
 
 #. type: quotation
-#: guix-git/doc/guix-cookbook.texi:941
+#: guix-git/doc/guix-cookbook.texi:958
 msgid "This is the ``old style'', where each input in the list is explicitly given a label (a string).  It is still supported but we recommend using the style above instead.  @xref{package Reference,,, guix, GNU Guix Reference Manual}, for more info."
 msgstr ""
 
 #. type: subsubsection
-#: guix-git/doc/guix-cookbook.texi:943
+#: guix-git/doc/guix-cookbook.texi:960
 #, no-wrap
 msgid "Outputs"
 msgstr "출력"
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:947
+#: guix-git/doc/guix-cookbook.texi:964
 msgid "Just like how a package can have multiple inputs, it can also produce multiple outputs."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:949
+#: guix-git/doc/guix-cookbook.texi:966
 msgid "Each output corresponds to a separate directory in the store."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:952
+#: guix-git/doc/guix-cookbook.texi:969
 msgid "The user can choose which output to install; this is useful to save space or to avoid polluting the user profile with unwanted executables or libraries."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:955
+#: guix-git/doc/guix-cookbook.texi:972
 msgid "Output separation is optional.  When the @code{outputs} field is left out, the default and only output (the complete package) is referred to as @code{\"out\"}."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:957
+#: guix-git/doc/guix-cookbook.texi:974
 msgid "Typical separate output names include @code{debug} and @code{doc}."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:961
+#: guix-git/doc/guix-cookbook.texi:978
 msgid "It's advised to separate outputs only when you've shown it's worth it: if the output size is significant (compare with @code{guix size}) or in case the package is modular."
 msgstr ""
 
 #. type: subsubsection
-#: guix-git/doc/guix-cookbook.texi:962
+#: guix-git/doc/guix-cookbook.texi:979
 #, no-wrap
 msgid "Build system arguments"
 msgstr "시스템 인수를 구성합니다"
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:965
+#: guix-git/doc/guix-cookbook.texi:982
 msgid "The @code{arguments} is a keyword-value list used to configure the build process."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:970
+#: guix-git/doc/guix-cookbook.texi:987
 msgid "The simplest argument @code{#:tests?} can be used to disable the test suite when building the package.  This is mostly useful when the package does not feature any test suite.  It's strongly recommended to keep the test suite on if there is one."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:974
+#: guix-git/doc/guix-cookbook.texi:991
 msgid "Another common argument is @code{:make-flags}, which specifies a list of flags to append when running make, as you would from the command line.  For instance, the following flags"
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:978
+#: guix-git/doc/guix-cookbook.texi:995
 #, no-wrap
 msgid ""
 "#:make-flags (list (string-append \"prefix=\" (assoc-ref %outputs \"out\"))\n"
@@ -1733,44 +1767,44 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:981
+#: guix-git/doc/guix-cookbook.texi:998
 msgid "translate into"
 msgstr "번역합니다"
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:984
+#: guix-git/doc/guix-cookbook.texi:1001
 #, no-wrap
 msgid "$ make CC=gcc prefix=/gnu/store/...-<out>\n"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:990
+#: guix-git/doc/guix-cookbook.texi:1007
 msgid "This sets the C compiler to @code{gcc} and the @code{prefix} variable (the installation directory in Make parlance) to @code{(assoc-ref %outputs \"out\")}, which is a build-stage global variable pointing to the destination directory in the store (something like @file{/gnu/store/...-my-libgit2-20180408})."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:992
+#: guix-git/doc/guix-cookbook.texi:1009
 msgid "Similarly, it's possible to set the configure flags:"
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:995
+#: guix-git/doc/guix-cookbook.texi:1012
 #, no-wrap
 msgid "#:configure-flags '(\"-DUSE_SHA1DC=ON\")\n"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:999
+#: guix-git/doc/guix-cookbook.texi:1016
 msgid "The @code{%build-inputs} variable is also generated in scope.  It's an association table that maps the input names to their store directories."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1004
+#: guix-git/doc/guix-cookbook.texi:1021
 msgid "The @code{phases} keyword lists the sequential steps of the build system.  Typically phases include @code{unpack}, @code{configure}, @code{build}, @code{install} and @code{check}.  To know more about those phases, you need to work out the appropriate build system definition in @samp{$GUIX_CHECKOUT/guix/build/gnu-build-system.scm}:"
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:1023
+#: guix-git/doc/guix-cookbook.texi:1040
 #, no-wrap
 msgid ""
 "(define %standard-phases\n"
@@ -1810,12 +1844,12 @@ msgstr ""
 " compress-documentation)))\n"
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1026
+#: guix-git/doc/guix-cookbook.texi:1043
 msgid "Or from the REPL:"
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:1032
+#: guix-git/doc/guix-cookbook.texi:1049
 #, no-wrap
 msgid ""
 "(add-to-load-path \"/path/to/guix/checkout\")\n"
@@ -1825,17 +1859,17 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1036
+#: guix-git/doc/guix-cookbook.texi:1053
 msgid "If you want to know more about what happens during those phases, consult the associated procedures."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1039
+#: guix-git/doc/guix-cookbook.texi:1056
 msgid "For instance, as of this writing the definition of @code{unpack} for the GNU build system is:"
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:1049
+#: guix-git/doc/guix-cookbook.texi:1066
 #, no-wrap
 msgid ""
 "(define* (unpack #:key source #:allow-other-keys)\n"
@@ -1850,7 +1884,7 @@ msgid ""
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:1060
+#: guix-git/doc/guix-cookbook.texi:1077
 #, no-wrap
 msgid ""
 "        ;; Preserve timestamps (set to the Epoch) on the copied tree so that\n"
@@ -1866,42 +1900,42 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1068
+#: guix-git/doc/guix-cookbook.texi:1085
 msgid "Note the @code{chdir} call: it changes the working directory to where the source was unpacked.  Thus every phase following the @code{unpack} will use the source as a working directory, which is why we can directly work on the source files.  That is to say, unless a later phase changes the working directory to something else."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1072
+#: guix-git/doc/guix-cookbook.texi:1089
 msgid "We modify the list of @code{%standard-phases} of the build system with the @code{modify-phases} macro as per the list of specified modifications, which may have the following forms:"
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:1076
+#: guix-git/doc/guix-cookbook.texi:1093
 msgid "@code{(add-before @var{phase} @var{new-phase} @var{procedure})}: Run @var{procedure} named @var{new-phase} before @var{phase}."
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:1078
+#: guix-git/doc/guix-cookbook.texi:1095
 msgid "@code{(add-after @var{phase} @var{new-phase} @var{procedure})}: Same, but afterwards."
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:1080
+#: guix-git/doc/guix-cookbook.texi:1097
 msgid "@code{(replace @var{phase} @var{procedure})}."
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:1082
+#: guix-git/doc/guix-cookbook.texi:1099
 msgid "@code{(delete @var{phase})}."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1089
+#: guix-git/doc/guix-cookbook.texi:1106
 msgid "The @var{procedure} supports the keyword arguments @code{inputs} and @code{outputs}.  Each input (whether @emph{native}, @emph{propagated} or not) and output directory is referenced by their name in those variables.  Thus @code{(assoc-ref outputs \"out\")} is the store directory of the main output of the package.  A phase procedure may look like this:"
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:1097
+#: guix-git/doc/guix-cookbook.texi:1114
 #, no-wrap
 msgid ""
 "(lambda* (#:key inputs outputs #:allow-other-keys)\n"
@@ -1919,212 +1953,212 @@ msgstr ""
 " #true))\n"
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1103
+#: guix-git/doc/guix-cookbook.texi:1120
 msgid "The procedure must return @code{#true} on success.  It's brittle to rely on the return value of the last expression used to tweak the phase because there is no guarantee it would be a @code{#true}.  Hence the trailing @code{#true} to ensure the right value is returned on success."
 msgstr ""
 
 #. type: subsubsection
-#: guix-git/doc/guix-cookbook.texi:1104
+#: guix-git/doc/guix-cookbook.texi:1121
 #, no-wrap
 msgid "Code staging"
 msgstr "코드 스테이징"
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1110
+#: guix-git/doc/guix-cookbook.texi:1127
 msgid "The astute reader may have noticed the quasi-quote and comma syntax in the argument field.  Indeed, the build code in the package declaration should not be evaluated on the client side, but only when passed to the Guix daemon.  This mechanism of passing code around two running processes is called @uref{https://arxiv.org/abs/1709.00833, code staging}."
 msgstr ""
 
 #. type: subsubsection
-#: guix-git/doc/guix-cookbook.texi:1111
+#: guix-git/doc/guix-cookbook.texi:1128
 #, no-wrap
 msgid "Utility functions"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1116
+#: guix-git/doc/guix-cookbook.texi:1133
 msgid "When customizing @code{phases}, we often need to write code that mimics the equivalent system invocations (@code{make}, @code{mkdir}, @code{cp}, etc.)@: commonly used during regular ``Unix-style'' installations."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1119
+#: guix-git/doc/guix-cookbook.texi:1136
 msgid "Some like @code{chmod} are native to Guile.  @xref{,,, guile, Guile reference manual} for a complete list."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1122
+#: guix-git/doc/guix-cookbook.texi:1139
 msgid "Guix provides additional helper functions which prove especially handy in the context of package management."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1126
+#: guix-git/doc/guix-cookbook.texi:1143
 msgid "Some of those functions can be found in @samp{$GUIX_CHECKOUT/guix/guix/build/utils.scm}.  Most of them mirror the behaviour of the traditional Unix system commands:"
 msgstr ""
 
 #. type: item
-#: guix-git/doc/guix-cookbook.texi:1128
+#: guix-git/doc/guix-cookbook.texi:1145
 #, no-wrap
 msgid "which"
 msgstr ""
 
 #. type: table
-#: guix-git/doc/guix-cookbook.texi:1130
+#: guix-git/doc/guix-cookbook.texi:1147
 msgid "Like the @samp{which} system command."
 msgstr ""
 
 #. type: item
-#: guix-git/doc/guix-cookbook.texi:1130
+#: guix-git/doc/guix-cookbook.texi:1147
 #, no-wrap
 msgid "find-files"
 msgstr ""
 
 #. type: table
-#: guix-git/doc/guix-cookbook.texi:1132
+#: guix-git/doc/guix-cookbook.texi:1149
 msgid "Akin to the @samp{find} system command."
 msgstr ""
 
 #. type: item
-#: guix-git/doc/guix-cookbook.texi:1132
+#: guix-git/doc/guix-cookbook.texi:1149
 #, no-wrap
 msgid "mkdir-p"
 msgstr ""
 
 #. type: table
-#: guix-git/doc/guix-cookbook.texi:1134
+#: guix-git/doc/guix-cookbook.texi:1151
 msgid "Like @samp{mkdir -p}, which creates all parents as needed."
 msgstr ""
 
 #. type: item
-#: guix-git/doc/guix-cookbook.texi:1134
+#: guix-git/doc/guix-cookbook.texi:1151
 #, no-wrap
 msgid "install-file"
 msgstr ""
 
 #. type: table
-#: guix-git/doc/guix-cookbook.texi:1138
+#: guix-git/doc/guix-cookbook.texi:1155
 msgid "Similar to @samp{install} when installing a file to a (possibly non-existing) directory.  Guile has @code{copy-file} which works like @samp{cp}."
 msgstr ""
 
 #. type: item
-#: guix-git/doc/guix-cookbook.texi:1138
+#: guix-git/doc/guix-cookbook.texi:1155
 #, no-wrap
 msgid "copy-recursively"
 msgstr ""
 
 #. type: table
-#: guix-git/doc/guix-cookbook.texi:1140
+#: guix-git/doc/guix-cookbook.texi:1157
 msgid "Like @samp{cp -r}."
 msgstr ""
 
 #. type: item
-#: guix-git/doc/guix-cookbook.texi:1140
+#: guix-git/doc/guix-cookbook.texi:1157
 #, no-wrap
 msgid "delete-file-recursively"
 msgstr ""
 
 #. type: table
-#: guix-git/doc/guix-cookbook.texi:1142
+#: guix-git/doc/guix-cookbook.texi:1159
 msgid "Like @samp{rm -rf}."
 msgstr ""
 
 #. type: item
-#: guix-git/doc/guix-cookbook.texi:1142
+#: guix-git/doc/guix-cookbook.texi:1159
 #, no-wrap
 msgid "invoke"
 msgstr ""
 
 #. type: table
-#: guix-git/doc/guix-cookbook.texi:1144
+#: guix-git/doc/guix-cookbook.texi:1161
 msgid "Run an executable.  This should be used instead of @code{system*}."
 msgstr ""
 
 #. type: item
-#: guix-git/doc/guix-cookbook.texi:1144
+#: guix-git/doc/guix-cookbook.texi:1161
 #, no-wrap
 msgid "with-directory-excursion"
 msgstr ""
 
 #. type: table
-#: guix-git/doc/guix-cookbook.texi:1147
+#: guix-git/doc/guix-cookbook.texi:1164
 msgid "Run the body in a different working directory, then restore the previous working directory."
 msgstr ""
 
 #. type: item
-#: guix-git/doc/guix-cookbook.texi:1147
+#: guix-git/doc/guix-cookbook.texi:1164
 #, no-wrap
 msgid "substitute*"
 msgstr ""
 
 #. type: table
-#: guix-git/doc/guix-cookbook.texi:1149
+#: guix-git/doc/guix-cookbook.texi:1166
 msgid "A ``@command{sed}-like'' function."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1153
+#: guix-git/doc/guix-cookbook.texi:1170
 msgid "@xref{Build Utilities,,, guix, GNU Guix Reference Manual}, for more information on these utilities."
 msgstr ""
 
 #. type: subsubsection
-#: guix-git/doc/guix-cookbook.texi:1154
+#: guix-git/doc/guix-cookbook.texi:1171
 #, no-wrap
 msgid "Module prefix"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1164
+#: guix-git/doc/guix-cookbook.texi:1181
 msgid "The license in our last example needs a prefix: this is because of how the @code{license} module was imported in the package, as @code{#:use-module ((guix licenses)  #:prefix license:)}.  The Guile module import mechanism (@pxref{Using Guile Modules,,, guile, Guile reference manual})  gives the user full control over namespacing: this is needed to avoid clashes between, say, the @samp{zlib} variable from @samp{licenses.scm} (a @emph{license} value) and the @samp{zlib} variable from @samp{compression.scm} (a @emph{package} value)."
 msgstr ""
 
 #. type: subsection
-#: guix-git/doc/guix-cookbook.texi:1165 guix-git/doc/guix-cookbook.texi:1166
+#: guix-git/doc/guix-cookbook.texi:1182 guix-git/doc/guix-cookbook.texi:1183
 #, no-wrap
 msgid "Other build systems"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1173
+#: guix-git/doc/guix-cookbook.texi:1190
 msgid "What we've seen so far covers the majority of packages using a build system other than the @code{trivial-build-system}.  The latter does not automate anything and leaves you to build everything manually.  This can be more demanding and we won't cover it here for now, but thankfully it is rarely necessary to fall back on this system."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1177
+#: guix-git/doc/guix-cookbook.texi:1194
 msgid "For the other build systems, such as ASDF, Emacs, Perl, Ruby and many more, the process is very similar to the GNU build system except for a few specialized arguments."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1182
+#: guix-git/doc/guix-cookbook.texi:1199
 msgid "@xref{Build Systems,,, guix, GNU Guix Reference Manual}, for more information on build systems, or check the source code in the @samp{$GUIX_CHECKOUT/guix/build} and @samp{$GUIX_CHECKOUT/guix/build-system} directories."
 msgstr ""
 
 #. type: subsection
-#: guix-git/doc/guix-cookbook.texi:1183 guix-git/doc/guix-cookbook.texi:1184
+#: guix-git/doc/guix-cookbook.texi:1200 guix-git/doc/guix-cookbook.texi:1201
 #, no-wrap
 msgid "Programmable and automated package definition"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1188
+#: guix-git/doc/guix-cookbook.texi:1205
 msgid "We can't repeat it enough: having a full-fledged programming language at hand empowers us in ways that reach far beyond traditional package management."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1190
+#: guix-git/doc/guix-cookbook.texi:1207
 msgid "Let's illustrate this with some awesome features of Guix!"
 msgstr ""
 
 #. type: subsubsection
-#: guix-git/doc/guix-cookbook.texi:1191 guix-git/doc/guix-cookbook.texi:1192
+#: guix-git/doc/guix-cookbook.texi:1208 guix-git/doc/guix-cookbook.texi:1209
 #, no-wrap
 msgid "Recursive importers"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1199
+#: guix-git/doc/guix-cookbook.texi:1216
 msgid "You might find some build systems good enough that there is little to do at all to write a package, to the point that it becomes repetitive and tedious after a while.  A @emph{raison d'être} of computers is to replace human beings at those boring tasks.  So let's tell Guix to do this for us and create the package definition of an R package from CRAN (the output is trimmed for conciseness):"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:1202
+#: guix-git/doc/guix-cookbook.texi:1219
 #, no-wrap
 msgid ""
 "$ guix import cran --recursive walrus\n"
@@ -2132,7 +2166,7 @@ msgid ""
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:1206
+#: guix-git/doc/guix-cookbook.texi:1223
 #, no-wrap
 msgid ""
 "(define-public r-mc2d\n"
@@ -2142,7 +2176,7 @@ msgid ""
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:1210
+#: guix-git/doc/guix-cookbook.texi:1227
 #, no-wrap
 msgid ""
 "(define-public r-jmvcore\n"
@@ -2152,7 +2186,7 @@ msgid ""
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:1214
+#: guix-git/doc/guix-cookbook.texi:1231
 #, no-wrap
 msgid ""
 "(define-public r-wrs2\n"
@@ -2162,7 +2196,7 @@ msgid ""
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:1240
+#: guix-git/doc/guix-cookbook.texi:1257
 #, no-wrap
 msgid ""
 "(define-public r-walrus\n"
@@ -2193,56 +2227,56 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1244
+#: guix-git/doc/guix-cookbook.texi:1261
 msgid "The recursive importer won't import packages for which Guix already has package definitions, except for the very first."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1249
+#: guix-git/doc/guix-cookbook.texi:1266
 msgid "Not all applications can be packaged this way, only those relying on a select number of supported systems.  Read about the full list of importers in the guix import section of the manual (@pxref{Invoking guix import,,, guix, GNU Guix Reference Manual})."
 msgstr ""
 
 #. type: subsubsection
-#: guix-git/doc/guix-cookbook.texi:1250 guix-git/doc/guix-cookbook.texi:1251
+#: guix-git/doc/guix-cookbook.texi:1267 guix-git/doc/guix-cookbook.texi:1268
 #, no-wrap
 msgid "Automatic update"
 msgstr "자동으로 최신화"
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1255
+#: guix-git/doc/guix-cookbook.texi:1272
 msgid "Guix can be smart enough to check for updates on systems it knows.  It can report outdated package definitions with"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:1258
+#: guix-git/doc/guix-cookbook.texi:1275
 #, no-wrap
 msgid "$ guix refresh hello\n"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1263
+#: guix-git/doc/guix-cookbook.texi:1280
 msgid "In most cases, updating a package to a newer version requires little more than changing the version number and the checksum.  Guix can do that automatically as well:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:1266
+#: guix-git/doc/guix-cookbook.texi:1283
 #, no-wrap
 msgid "$ guix refresh hello --update\n"
 msgstr ""
 
 #. type: subsubsection
-#: guix-git/doc/guix-cookbook.texi:1268 guix-git/doc/guix-cookbook.texi:1269
+#: guix-git/doc/guix-cookbook.texi:1285 guix-git/doc/guix-cookbook.texi:1286
 #, no-wrap
 msgid "Inheritance"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1273
+#: guix-git/doc/guix-cookbook.texi:1290
 msgid "If you've started browsing the existing package definitions, you might have noticed that a significant number of them have a @code{inherit} field:"
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:1288
+#: guix-git/doc/guix-cookbook.texi:1305
 #, no-wrap
 msgid ""
 "(define-public adwaita-icon-theme\n"
@@ -2274,179 +2308,179 @@ msgstr ""
 "    (native-inputs (list `(,gtk+ \"bin\")))))\n"
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1293
+#: guix-git/doc/guix-cookbook.texi:1310
 msgid "All unspecified fields are inherited from the parent package.  This is very convenient to create alternative packages, for instance with different source, version or compilation options."
 msgstr ""
 
 #. type: subsection
-#: guix-git/doc/guix-cookbook.texi:1294 guix-git/doc/guix-cookbook.texi:1295
+#: guix-git/doc/guix-cookbook.texi:1311 guix-git/doc/guix-cookbook.texi:1312
 #, no-wrap
 msgid "Getting help"
 msgstr "도움 얻기"
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1301
+#: guix-git/doc/guix-cookbook.texi:1318
 msgid "Sadly, some applications can be tough to package.  Sometimes they need a patch to work with the non-standard file system hierarchy enforced by the store.  Sometimes the tests won't run properly.  (They can be skipped but this is not recommended.)  Other times the resulting package won't be reproducible."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1304
+#: guix-git/doc/guix-cookbook.texi:1321
 msgid "Should you be stuck, unable to figure out how to fix any sort of packaging issue, don't hesitate to ask the community for help."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1306
+#: guix-git/doc/guix-cookbook.texi:1323
 msgid "See the @uref{https://www.gnu.org/software/guix/contact/, Guix homepage} for information on the mailing lists, IRC, etc."
 msgstr ""
 
 #. type: subsection
-#: guix-git/doc/guix-cookbook.texi:1307 guix-git/doc/guix-cookbook.texi:1308
+#: guix-git/doc/guix-cookbook.texi:1324 guix-git/doc/guix-cookbook.texi:1325
 #, no-wrap
 msgid "Conclusion"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1314
+#: guix-git/doc/guix-cookbook.texi:1331
 msgid "This tutorial was a showcase of the sophisticated package management that Guix boasts.  At this point we have mostly restricted this introduction to the @code{gnu-build-system} which is a core abstraction layer on which more advanced abstractions are based."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1319
+#: guix-git/doc/guix-cookbook.texi:1336
 msgid "Where do we go from here? Next we ought to dissect the innards of the build system by removing all abstractions, using the @code{trivial-build-system}: this should give us a thorough understanding of the process before investigating some more advanced packaging techniques and edge cases."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1322
+#: guix-git/doc/guix-cookbook.texi:1339
 msgid "Other features worth exploring are the interactive editing and debugging capabilities of Guix provided by the Guile REPL@."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1327
+#: guix-git/doc/guix-cookbook.texi:1344
 msgid "Those fancy features are completely optional and can wait; now is a good time to take a well-deserved break.  With what we've introduced here you should be well armed to package lots of programs.  You can get started right away and hopefully we will see your contributions soon!"
 msgstr ""
 
 #. type: subsection
-#: guix-git/doc/guix-cookbook.texi:1328 guix-git/doc/guix-cookbook.texi:1329
+#: guix-git/doc/guix-cookbook.texi:1345 guix-git/doc/guix-cookbook.texi:1346
 #, no-wrap
 msgid "References"
 msgstr "참조"
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:1334
+#: guix-git/doc/guix-cookbook.texi:1351
 msgid "The @uref{https://www.gnu.org/software/guix/manual/en/html_node/Defining-Packages.html, package reference in the manual}"
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:1337
+#: guix-git/doc/guix-cookbook.texi:1354
 msgid "@uref{https://gitlab.com/pjotrp/guix-notes/blob/master/HACKING.org, Pjotr’s hacking guide to GNU Guix}"
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:1340
+#: guix-git/doc/guix-cookbook.texi:1357
 msgid "@uref{https://www.gnu.org/software/guix/guix-ghm-andreas-20130823.pdf, ``GNU Guix: Package without a scheme!''}, by Andreas Enge"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1349
+#: guix-git/doc/guix-cookbook.texi:1366
 msgid "Guix offers a flexible language for declaratively configuring your Guix System.  This flexibility can at times be overwhelming.  The purpose of this chapter is to demonstrate some advanced configuration concepts."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1352
+#: guix-git/doc/guix-cookbook.texi:1369
 msgid "@pxref{System Configuration,,, guix, GNU Guix Reference Manual} for a complete reference."
 msgstr ""
 
 #. type: section
-#: guix-git/doc/guix-cookbook.texi:1363 guix-git/doc/guix-cookbook.texi:1648
-#: guix-git/doc/guix-cookbook.texi:1649
+#: guix-git/doc/guix-cookbook.texi:1380 guix-git/doc/guix-cookbook.texi:1665
+#: guix-git/doc/guix-cookbook.texi:1666
 #, no-wrap
 msgid "Guix System Image API"
 msgstr ""
 
 #. type: menuentry
-#: guix-git/doc/guix-cookbook.texi:1363
+#: guix-git/doc/guix-cookbook.texi:1380
 msgid "Customizing images to target specific platforms."
 msgstr ""
 
 #. type: section
-#: guix-git/doc/guix-cookbook.texi:1363 guix-git/doc/guix-cookbook.texi:1859
-#: guix-git/doc/guix-cookbook.texi:1860
+#: guix-git/doc/guix-cookbook.texi:1380 guix-git/doc/guix-cookbook.texi:1876
+#: guix-git/doc/guix-cookbook.texi:1877
 #, no-wrap
 msgid "Connecting to Wireguard VPN"
 msgstr ""
 
 #. type: menuentry
-#: guix-git/doc/guix-cookbook.texi:1363
+#: guix-git/doc/guix-cookbook.texi:1380
 msgid "Connecting to a Wireguard VPN."
 msgstr ""
 
 #. type: section
-#: guix-git/doc/guix-cookbook.texi:1363 guix-git/doc/guix-cookbook.texi:1936
-#: guix-git/doc/guix-cookbook.texi:1937
+#: guix-git/doc/guix-cookbook.texi:1380 guix-git/doc/guix-cookbook.texi:1953
+#: guix-git/doc/guix-cookbook.texi:1954
 #, no-wrap
 msgid "Customizing a Window Manager"
 msgstr ""
 
 #. type: menuentry
-#: guix-git/doc/guix-cookbook.texi:1363
+#: guix-git/doc/guix-cookbook.texi:1380
 msgid "Handle customization of a Window manager on Guix System."
 msgstr ""
 
 #. type: section
-#: guix-git/doc/guix-cookbook.texi:1363 guix-git/doc/guix-cookbook.texi:2027
-#: guix-git/doc/guix-cookbook.texi:2028
+#: guix-git/doc/guix-cookbook.texi:1380 guix-git/doc/guix-cookbook.texi:2044
+#: guix-git/doc/guix-cookbook.texi:2045
 #, no-wrap
 msgid "Running Guix on a Linode Server"
 msgstr ""
 
 #. type: section
-#: guix-git/doc/guix-cookbook.texi:1363 guix-git/doc/guix-cookbook.texi:2270
-#: guix-git/doc/guix-cookbook.texi:2271
+#: guix-git/doc/guix-cookbook.texi:1380 guix-git/doc/guix-cookbook.texi:2287
+#: guix-git/doc/guix-cookbook.texi:2288
 #, no-wrap
 msgid "Setting up a bind mount"
 msgstr ""
 
 #. type: menuentry
-#: guix-git/doc/guix-cookbook.texi:1363
+#: guix-git/doc/guix-cookbook.texi:1380
 msgid "Setting up a bind mount in the file-systems definition."
 msgstr ""
 
 #. type: section
-#: guix-git/doc/guix-cookbook.texi:1363 guix-git/doc/guix-cookbook.texi:2319
-#: guix-git/doc/guix-cookbook.texi:2320
+#: guix-git/doc/guix-cookbook.texi:1380 guix-git/doc/guix-cookbook.texi:2336
+#: guix-git/doc/guix-cookbook.texi:2337
 #, no-wrap
 msgid "Getting substitutes from Tor"
 msgstr ""
 
 #. type: menuentry
-#: guix-git/doc/guix-cookbook.texi:1363
+#: guix-git/doc/guix-cookbook.texi:1380
 msgid "Configuring Guix daemon to get substitutes through Tor."
 msgstr ""
 
 #. type: section
-#: guix-git/doc/guix-cookbook.texi:1363 guix-git/doc/guix-cookbook.texi:2383
-#: guix-git/doc/guix-cookbook.texi:2384
+#: guix-git/doc/guix-cookbook.texi:1380 guix-git/doc/guix-cookbook.texi:2400
+#: guix-git/doc/guix-cookbook.texi:2401
 #, no-wrap
 msgid "Setting up NGINX with Lua"
 msgstr ""
 
 #. type: menuentry
-#: guix-git/doc/guix-cookbook.texi:1363
+#: guix-git/doc/guix-cookbook.texi:1380
 msgid "Configuring NGINX web-server to load Lua modules."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1375
+#: guix-git/doc/guix-cookbook.texi:1392
 msgid "While the Guix manual explains auto-login one user to @emph{all} TTYs ( @pxref{auto-login to TTY,,, guix, GNU Guix Reference Manual}), some might prefer a situation, in which one user is logged into one TTY with the other TTYs either configured to login different users or no one at all.  Note that one can auto-login one user to any TTY, but it is usually advisable to avoid @code{tty1}, which, by default, is used to log warnings and errors."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1377
+#: guix-git/doc/guix-cookbook.texi:1394
 msgid "Here is how one might set up auto login for one user to one tty:"
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:1385
+#: guix-git/doc/guix-cookbook.texi:1402
 #, no-wrap
 msgid ""
 "(define (auto-login-to-tty config tty user)\n"
@@ -2459,7 +2493,7 @@ msgid ""
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:1392
+#: guix-git/doc/guix-cookbook.texi:1409
 #, no-wrap
 msgid ""
 "(define %my-services\n"
@@ -2472,7 +2506,7 @@ msgid ""
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:1396
+#: guix-git/doc/guix-cookbook.texi:1413
 #, no-wrap
 msgid ""
 "(operating-system\n"
@@ -2481,37 +2515,37 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1401
+#: guix-git/doc/guix-cookbook.texi:1418
 msgid "One could also @code{compose} (@pxref{Higher-Order Functions,,, guile, The Guile Reference Manual}) @code{auto-login-to-tty} to login multiple users to multiple ttys."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1408
+#: guix-git/doc/guix-cookbook.texi:1425
 msgid "Finally, here is a note of caution.  Setting up auto login to a TTY, means that anyone can turn on your computer and run commands as your regular user.  However, if you have an encrypted root partition, and thus already need to enter a passphrase when the system boots, auto-login might be a convenient option."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1420
+#: guix-git/doc/guix-cookbook.texi:1437
 msgid "Guix is, at its core, a source based distribution with substitutes (@pxref{Substitutes,,, guix, GNU Guix Reference Manual}), and as such building packages from their source code is an expected part of regular package installations and upgrades.  Given this starting point, it makes sense that efforts are made to reduce the amount of time spent compiling packages, and recent changes and upgrades to the building and distribution of substitutes continues to be a topic of discussion within Guix."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1426
+#: guix-git/doc/guix-cookbook.texi:1443
 msgid "The kernel, while not requiring an overabundance of RAM to build, does take a rather long time on an average machine.  The official kernel configuration, as is the case with many GNU/Linux distributions, errs on the side of inclusiveness, and this is really what causes the build to take such a long time when the kernel is built from source."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1431
+#: guix-git/doc/guix-cookbook.texi:1448
 msgid "The Linux kernel, however, can also just be described as a regular old package, and as such can be customized just like any other package.  The procedure is a little bit different, although this is primarily due to the nature of how the package definition is written."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1434
+#: guix-git/doc/guix-cookbook.texi:1451
 msgid "The @code{linux-libre} kernel package definition is actually a procedure which creates a package."
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:1445
+#: guix-git/doc/guix-cookbook.texi:1462
 #, no-wrap
 msgid ""
 "(define* (make-linux-libre* version gnu-revision source supported-systems\n"
@@ -2526,12 +2560,12 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1449
+#: guix-git/doc/guix-cookbook.texi:1466
 msgid "The current @code{linux-libre} package is for the 5.15.x series, and is declared like this:"
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:1457
+#: guix-git/doc/guix-cookbook.texi:1474
 #, no-wrap
 msgid ""
 "(define-public linux-libre-5.15\n"
@@ -2543,17 +2577,17 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1464
+#: guix-git/doc/guix-cookbook.texi:1481
 msgid "Any keys which are not assigned values inherit their default value from the @code{make-linux-libre} definition.  When comparing the two snippets above, notice the code comment that refers to @code{#:configuration-file}.  Because of this, it is not actually easy to include a custom kernel configuration from the definition, but don't worry, there are other ways to work with what we do have."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1470
+#: guix-git/doc/guix-cookbook.texi:1487
 msgid "There are two ways to create a kernel with a custom kernel configuration.  The first is to provide a standard @file{.config} file during the build process by including an actual @file{.config} file as a native input to our custom kernel.  The following is a snippet from the custom @code{'configure} phase of the @code{make-linux-libre} package definition:"
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:1474
+#: guix-git/doc/guix-cookbook.texi:1491
 #, no-wrap
 msgid ""
 "(let ((build  (assoc-ref %standard-phases 'build))\n"
@@ -2562,7 +2596,7 @@ msgid ""
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:1482
+#: guix-git/doc/guix-cookbook.texi:1499
 #, no-wrap
 msgid ""
 "  ;; Use a custom kernel configuration file or a default\n"
@@ -2575,12 +2609,12 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1487
+#: guix-git/doc/guix-cookbook.texi:1504
 msgid "Below is a sample kernel package.  The @code{linux-libre} package is nothing special and can be inherited from and have its fields overridden like any other package:"
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:1496
+#: guix-git/doc/guix-cookbook.texi:1513
 #, no-wrap
 msgid ""
 "(define-public linux-libre/E2140\n"
@@ -2593,17 +2627,17 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1503
+#: guix-git/doc/guix-cookbook.texi:1520
 msgid "In the same directory as the file defining @code{linux-libre-E2140} is a file named @file{E2140.config}, which is an actual kernel configuration file.  The @code{defconfig} keyword of @code{make-linux-libre} is left blank here, so the only kernel configuration in the package is the one which was included in the @code{native-inputs} field."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1508
+#: guix-git/doc/guix-cookbook.texi:1525
 msgid "The second way to create a custom kernel is to pass a new value to the @code{extra-options} keyword of the @code{make-linux-libre} procedure.  The @code{extra-options} keyword works with another function defined right below it:"
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:1524
+#: guix-git/doc/guix-cookbook.texi:1541
 #, no-wrap
 msgid ""
 "(define %default-extra-linux-options\n"
@@ -2624,7 +2658,7 @@ msgid ""
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:1535
+#: guix-git/doc/guix-cookbook.texi:1552
 #, no-wrap
 msgid ""
 "(define (config->string options)\n"
@@ -2640,12 +2674,12 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1538
+#: guix-git/doc/guix-cookbook.texi:1555
 msgid "And in the custom configure script from the `make-linux-libre` package:"
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:1546
+#: guix-git/doc/guix-cookbook.texi:1563
 #, no-wrap
 msgid ""
 ";; Appending works even when the option wasn't in the\n"
@@ -2658,18 +2692,18 @@ msgid ""
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:1548
+#: guix-git/doc/guix-cookbook.texi:1565
 #, no-wrap
 msgid "(invoke \"make\" \"oldconfig\")\n"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1553
+#: guix-git/doc/guix-cookbook.texi:1570
 msgid "So by not providing a configuration-file the @file{.config} starts blank, and then we write into it the collection of flags that we want.  Here's another custom kernel:"
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:1561
+#: guix-git/doc/guix-cookbook.texi:1578
 #, no-wrap
 msgid ""
 "(define %macbook41-full-config\n"
@@ -2682,7 +2716,7 @@ msgid ""
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:1572
+#: guix-git/doc/guix-cookbook.texi:1589
 #, no-wrap
 msgid ""
 "(define-public linux-libre-macbook41\n"
@@ -2698,55 +2732,55 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1579
+#: guix-git/doc/guix-cookbook.texi:1596
 msgid "In the above example @code{%file-systems} is a collection of flags enabling different file system support, @code{%efi-support} enables EFI support and @code{%emulation} enables a x86_64-linux machine to act in 32-bit mode also.  @code{%default-extra-linux-options} are the ones quoted above, which had to be added in since they were replaced in the @code{extra-options} keyword."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1588
+#: guix-git/doc/guix-cookbook.texi:1605
 msgid "This all sounds like it should be doable, but how does one even know which modules are required for a particular system? Two places that can be helpful in trying to answer this question is the @uref{https://wiki.gentoo.org/wiki/Handbook:AMD64/Installation/Kernel, Gentoo Handbook} and the @uref{https://www.kernel.org/doc/html/latest/admin-guide/README.html?highlight=localmodconfig, documentation from the kernel itself}.  From the kernel documentation, it seems that @code{make localmodconfig} is the command we want."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1591
+#: guix-git/doc/guix-cookbook.texi:1608
 msgid "In order to actually run @code{make localmodconfig} we first need to get and unpack the kernel source code:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:1594
+#: guix-git/doc/guix-cookbook.texi:1611
 #, no-wrap
 msgid "tar xf $(guix build linux-libre --source)\n"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1601
+#: guix-git/doc/guix-cookbook.texi:1618
 msgid "Once inside the directory containing the source code run @code{touch .config} to create an initial, empty @file{.config} to start with.  @code{make localmodconfig} works by seeing what you already have in @file{.config} and letting you know what you're missing.  If the file is blank then you're missing everything.  The next step is to run:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:1604
+#: guix-git/doc/guix-cookbook.texi:1621
 #, no-wrap
-msgid "guix environment linux-libre -- make localmodconfig\n"
+msgid "guix shell -D linux-libre -- make localmodconfig\n"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1609
+#: guix-git/doc/guix-cookbook.texi:1626
 msgid "and note the output.  Do note that the @file{.config} file is still empty.  The output generally contains two types of warnings.  The first start with \"WARNING\" and can actually be ignored in our case.  The second read:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:1612
+#: guix-git/doc/guix-cookbook.texi:1629
 #, no-wrap
 msgid "module pcspkr did not have configs CONFIG_INPUT_PCSPKR\n"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1617
+#: guix-git/doc/guix-cookbook.texi:1634
 msgid "For each of these lines, copy the @code{CONFIG_XXXX_XXXX} portion into the @file{.config} in the directory, and append @code{=m}, so in the end it looks like this:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:1621
+#: guix-git/doc/guix-cookbook.texi:1638
 #, no-wrap
 msgid ""
 "CONFIG_INPUT_PCSPKR=m\n"
@@ -2754,42 +2788,42 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1630
+#: guix-git/doc/guix-cookbook.texi:1647
 msgid "After copying all the configuration options, run @code{make localmodconfig} again to make sure that you don't have any output starting with ``module''.  After all of these machine specific modules there are a couple more left that are also needed.  @code{CONFIG_MODULES} is necessary so that you can build and load modules separately and not have everything built into the kernel.  @code{CONFIG_BLK_DEV_SD} is required for reading from hard drives.  It is possible that there are other modules which you will need."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1634
+#: guix-git/doc/guix-cookbook.texi:1651
 msgid "This post does not aim to be a guide to configuring your own kernel however, so if you do decide to build a custom kernel you'll have to seek out other guides to create a kernel which is just right for your needs."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1642
+#: guix-git/doc/guix-cookbook.texi:1659
 msgid "The second way to setup the kernel configuration makes more use of Guix's features and allows you to share configuration segments between different kernels.  For example, all machines using EFI to boot have a number of EFI configuration flags that they need.  It is likely that all the kernels will share a list of file systems to support.  By using variables it is easier to see at a glance what features are enabled and to make sure you don't have features in one kernel but missing in another."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1647
+#: guix-git/doc/guix-cookbook.texi:1664
 msgid "Left undiscussed however, is Guix's initrd and its customization.  It is likely that you'll need to modify the initrd on a machine using a custom kernel, since certain modules which are expected to be built may not be available for inclusion into the initrd."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1654
+#: guix-git/doc/guix-cookbook.texi:1671
 msgid "Historically, Guix System is centered around an @code{operating-system} structure.  This structure contains various fields ranging from the bootloader and kernel declaration to the services to install."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1660
+#: guix-git/doc/guix-cookbook.texi:1677
 msgid "Depending on the target machine, that can go from a standard @code{x86_64} machine to a small ARM single board computer such as the Pine64, the image constraints can vary a lot.  The hardware manufacturers will impose different image formats with various partition sizes and offsets."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1665
+#: guix-git/doc/guix-cookbook.texi:1682
 msgid "To create images suitable for all those machines, a new abstraction is necessary: that's the goal of the @code{image} record.  This record contains all the required information to be transformed into a standalone image, that can be directly booted on any target machine."
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:1687
+#: guix-git/doc/guix-cookbook.texi:1704
 #, no-wrap
 msgid ""
 "(define-record-type* <image>\n"
@@ -2815,46 +2849,46 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1693
+#: guix-git/doc/guix-cookbook.texi:1710
 msgid "This record contains the operating-system to instantiate. The @code{format} field defines the image type and can be @code{efi-raw}, @code{qcow2} or @code{iso9660} for instance. In the future, it could be extended to @code{docker} or other image types."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1696
+#: guix-git/doc/guix-cookbook.texi:1713
 msgid "A new directory in the Guix sources is dedicated to images definition. For now there are four files:"
 msgstr ""
 
 #. type: file{#1}
-#: guix-git/doc/guix-cookbook.texi:1698
+#: guix-git/doc/guix-cookbook.texi:1715
 #, no-wrap
 msgid "gnu/system/images/hurd.scm"
 msgstr ""
 
 #. type: file{#1}
-#: guix-git/doc/guix-cookbook.texi:1699
+#: guix-git/doc/guix-cookbook.texi:1716
 #, no-wrap
 msgid "gnu/system/images/pine64.scm"
 msgstr ""
 
 #. type: file{#1}
-#: guix-git/doc/guix-cookbook.texi:1700
+#: guix-git/doc/guix-cookbook.texi:1717
 #, no-wrap
 msgid "gnu/system/images/novena.scm"
 msgstr ""
 
 #. type: file{#1}
-#: guix-git/doc/guix-cookbook.texi:1701
+#: guix-git/doc/guix-cookbook.texi:1718
 #, no-wrap
 msgid "gnu/system/images/pinebook-pro.scm"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1707
+#: guix-git/doc/guix-cookbook.texi:1724
 msgid "Let's have a look to @file{pine64.scm}. It contains the @code{pine64-barebones-os} variable which is a minimal definition of an operating-system dedicated to the @b{Pine A64 LTS} board."
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:1731
+#: guix-git/doc/guix-cookbook.texi:1748
 #, no-wrap
 msgid ""
 "(define pine64-barebones-os\n"
@@ -2882,17 +2916,17 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1735
+#: guix-git/doc/guix-cookbook.texi:1752
 msgid "The @code{kernel} and @code{bootloader} fields are pointing to packages dedicated to this board."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1737
+#: guix-git/doc/guix-cookbook.texi:1754
 msgid "Right below, the @code{pine64-image-type} variable is also defined."
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:1743
+#: guix-git/doc/guix-cookbook.texi:1760
 #, no-wrap
 msgid ""
 "(define pine64-image-type\n"
@@ -2902,12 +2936,12 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1747
+#: guix-git/doc/guix-cookbook.texi:1764
 msgid "It's using a record we haven't talked about yet, the @code{image-type} record, defined this way:"
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:1754
+#: guix-git/doc/guix-cookbook.texi:1771
 #, no-wrap
 msgid ""
 "(define-record-type* <image-type>\n"
@@ -2918,39 +2952,39 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1760
+#: guix-git/doc/guix-cookbook.texi:1777
 msgid "The main purpose of this record is to associate a name to a procedure transforming an @code{operating-system} to an image.  To understand why it is necessary, let's have a look to the command producing an image from an @code{operating-system} configuration file:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:1763
+#: guix-git/doc/guix-cookbook.texi:1780
 #, no-wrap
 msgid "guix system image my-os.scm\n"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1769
+#: guix-git/doc/guix-cookbook.texi:1786
 msgid "This command expects an @code{operating-system} configuration but how should we indicate that we want an image targeting a Pine64 board? We need to provide an extra information, the @code{image-type}, by passing the @code{--image-type} or @code{-t} flag, this way:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:1772
+#: guix-git/doc/guix-cookbook.texi:1789
 #, no-wrap
 msgid "guix system image --image-type=pine64-raw my-os.scm\n"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1778
+#: guix-git/doc/guix-cookbook.texi:1795
 msgid "This @code{image-type} parameter points to the @code{pine64-image-type} defined above. Hence, the @code{operating-system} declared in @code{my-os.scm} will be applied the @code{(cut image-with-os arm64-disk-image <>)} procedure to turn it into an image."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1780
+#: guix-git/doc/guix-cookbook.texi:1797
 msgid "The resulting image looks like:"
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:1790
+#: guix-git/doc/guix-cookbook.texi:1807
 #, no-wrap
 msgid ""
 "(image\n"
@@ -2964,22 +2998,22 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1794
+#: guix-git/doc/guix-cookbook.texi:1811
 msgid "which is the aggregation of the @code{operating-system} defined in @code{my-os.scm} to the @code{arm64-disk-image} record."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1796
+#: guix-git/doc/guix-cookbook.texi:1813
 msgid "But enough Scheme madness. What does this image API bring to the Guix user?"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1798
+#: guix-git/doc/guix-cookbook.texi:1815
 msgid "One can run:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:1802
+#: guix-git/doc/guix-cookbook.texi:1819
 #, no-wrap
 msgid ""
 "mathieu@@cervin:~$ guix system --list-image-types\n"
@@ -2988,7 +3022,7 @@ msgid ""
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:1814
+#: guix-git/doc/guix-cookbook.texi:1831
 #, no-wrap
 msgid ""
 "   - pinebook-pro-raw\n"
@@ -3005,12 +3039,12 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1819
+#: guix-git/doc/guix-cookbook.texi:1836
 msgid "and by writing an @code{operating-system} file based on @code{pine64-barebones-os}, you can customize your image to your preferences in a file (@file{my-pine-os.scm}) like this:"
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:1823
+#: guix-git/doc/guix-cookbook.texi:1840
 #, no-wrap
 msgid ""
 "(use-modules (gnu services linux)\n"
@@ -3019,7 +3053,7 @@ msgid ""
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:1834
+#: guix-git/doc/guix-cookbook.texi:1851
 #, no-wrap
 msgid ""
 "(let ((base-os pine64-barebones-os))\n"
@@ -3035,60 +3069,60 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1837
+#: guix-git/doc/guix-cookbook.texi:1854
 msgid "run:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:1840
+#: guix-git/doc/guix-cookbook.texi:1857
 #, no-wrap
 msgid "guix system image --image-type=pine64-raw my-pine-os.scm\n"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1843
+#: guix-git/doc/guix-cookbook.texi:1860
 msgid "or,"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:1846
+#: guix-git/doc/guix-cookbook.texi:1863
 #, no-wrap
 msgid "guix system image --image-type=hurd-raw my-hurd-os.scm\n"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1850
+#: guix-git/doc/guix-cookbook.texi:1867
 msgid "to get an image that can be written directly to a hard drive and booted from."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1852
+#: guix-git/doc/guix-cookbook.texi:1869
 msgid "Without changing anything to @code{my-hurd-os.scm}, calling:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:1855
+#: guix-git/doc/guix-cookbook.texi:1872
 #, no-wrap
 msgid "guix system image --image-type=hurd-qcow2 my-hurd-os.scm\n"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1858
+#: guix-git/doc/guix-cookbook.texi:1875
 msgid "will instead produce a Hurd QEMU image."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1865
+#: guix-git/doc/guix-cookbook.texi:1882
 msgid "To connect to a Wireguard VPN server you need the kernel module to be loaded in memory and a package providing networking tools that support it (e.g.  @code{wireguard-tools} or @code{network-manager})."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1869
+#: guix-git/doc/guix-cookbook.texi:1886
 msgid "Here is a configuration example for Linux-Libre < 5.6, where the module is out of tree and need to be loaded manually---following revisions of the kernel have it built-in and so don't need such configuration:"
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:1874
+#: guix-git/doc/guix-cookbook.texi:1891
 #, no-wrap
 msgid ""
 "(use-modules (gnu))\n"
@@ -3098,7 +3132,7 @@ msgid ""
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:1883
+#: guix-git/doc/guix-cookbook.texi:1900
 #, no-wrap
 msgid ""
 "(operating-system\n"
@@ -3112,44 +3146,44 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1887
+#: guix-git/doc/guix-cookbook.texi:1904
 msgid "After reconfiguring and restarting your system you can either use Wireguard tools or NetworkManager to connect to a VPN server."
 msgstr ""
 
 #. type: subsection
-#: guix-git/doc/guix-cookbook.texi:1888
+#: guix-git/doc/guix-cookbook.texi:1905
 #, no-wrap
 msgid "Using Wireguard tools"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1894
+#: guix-git/doc/guix-cookbook.texi:1911
 msgid "To test your Wireguard setup it is convenient to use @command{wg-quick}.  Just give it a configuration file @command{wg-quick up ./wg0.conf}; or put that file in @file{/etc/wireguard} and run @command{wg-quick up wg0} instead."
 msgstr ""
 
 #. type: quotation
-#: guix-git/doc/guix-cookbook.texi:1898
+#: guix-git/doc/guix-cookbook.texi:1915
 msgid "Be warned that the author described this command as a: “[…] very quick and dirty bash script […]”."
 msgstr ""
 
 #. type: subsection
-#: guix-git/doc/guix-cookbook.texi:1900
+#: guix-git/doc/guix-cookbook.texi:1917
 #, no-wrap
 msgid "Using NetworkManager"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1908
+#: guix-git/doc/guix-cookbook.texi:1925
 msgid "Thanks to NetworkManager support for Wireguard we can connect to our VPN using @command{nmcli} command.  Up to this point this guide assumes that you're using Network Manager service provided by @code{%desktop-services}.  Ortherwise you need to adjust your services list to load @code{network-manager-service-type} and reconfigure your Guix system."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1910
+#: guix-git/doc/guix-cookbook.texi:1927
 msgid "To import your VPN configuration execute nmcli import command:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:1914
+#: guix-git/doc/guix-cookbook.texi:1931
 #, no-wrap
 msgid ""
 "# nmcli connection import type wireguard file wg0.conf\n"
@@ -3157,12 +3191,12 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1919
+#: guix-git/doc/guix-cookbook.texi:1936
 msgid "This will create a configuration file in @file{/etc/NetworkManager/wg0.nmconnection}.  Next connect to the Wireguard server:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:1923
+#: guix-git/doc/guix-cookbook.texi:1940
 #, no-wrap
 msgid ""
 "$ nmcli connection up wg0\n"
@@ -3170,51 +3204,51 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1927
+#: guix-git/doc/guix-cookbook.texi:1944
 msgid "By default NetworkManager will connect automatically on system boot.  To change that behaviour you need to edit your config:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:1930
+#: guix-git/doc/guix-cookbook.texi:1947
 #, no-wrap
 msgid "# nmcli connection modify wg0 connection.autoconnect no\n"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1935
+#: guix-git/doc/guix-cookbook.texi:1952
 msgid "For more specific information about NetworkManager and wireguard @uref{https://blogs.gnome.org/thaller/2019/03/15/wireguard-in-networkmanager/,see this post by thaller}."
 msgstr ""
 
 #. type: cindex
-#: guix-git/doc/guix-cookbook.texi:1938
+#: guix-git/doc/guix-cookbook.texi:1955
 #, no-wrap
 msgid "wm"
 msgstr ""
 
 #. type: subsection
-#: guix-git/doc/guix-cookbook.texi:1940 guix-git/doc/guix-cookbook.texi:1941
+#: guix-git/doc/guix-cookbook.texi:1957 guix-git/doc/guix-cookbook.texi:1958
 #, no-wrap
 msgid "StumpWM"
 msgstr ""
 
 #. type: cindex
-#: guix-git/doc/guix-cookbook.texi:1942
+#: guix-git/doc/guix-cookbook.texi:1959
 #, no-wrap
 msgid "stumpwm"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1947
+#: guix-git/doc/guix-cookbook.texi:1964
 msgid "You could install StumpWM with a Guix system by adding @code{stumpwm} and optionally @code{`(,stumpwm \"lib\")} packages to a system configuration file, e.g.@: @file{/etc/config.scm}."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1949
+#: guix-git/doc/guix-cookbook.texi:1966
 msgid "An example configuration can look like this:"
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:1953
+#: guix-git/doc/guix-cookbook.texi:1970
 #, no-wrap
 msgid ""
 "(use-modules (gnu))\n"
@@ -3223,7 +3257,7 @@ msgid ""
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:1958
+#: guix-git/doc/guix-cookbook.texi:1975
 #, no-wrap
 msgid ""
 "(operating-system\n"
@@ -3233,18 +3267,18 @@ msgid ""
 msgstr ""
 
 #. type: cindex
-#: guix-git/doc/guix-cookbook.texi:1960
+#: guix-git/doc/guix-cookbook.texi:1977
 #, no-wrap
 msgid "stumpwm fonts"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1964
+#: guix-git/doc/guix-cookbook.texi:1981
 msgid "By default StumpWM uses X11 fonts, which could be small or pixelated on your system.  You could fix this by installing StumpWM contrib Lisp module @code{sbcl-ttf-fonts}, adding it to Guix system packages:"
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:1968
+#: guix-git/doc/guix-cookbook.texi:1985
 #, no-wrap
 msgid ""
 "(use-modules (gnu))\n"
@@ -3253,7 +3287,7 @@ msgid ""
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:1973
+#: guix-git/doc/guix-cookbook.texi:1990
 #, no-wrap
 msgid ""
 "(operating-system\n"
@@ -3263,12 +3297,12 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1977
+#: guix-git/doc/guix-cookbook.texi:1994
 msgid "Then you need to add the following code to a StumpWM configuration file @file{~/.stumpwm.d/init.lisp}:"
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:1984
+#: guix-git/doc/guix-cookbook.texi:2001
 #, no-wrap
 msgid ""
 "(require :ttf-fonts)\n"
@@ -3279,40 +3313,40 @@ msgid ""
 msgstr ""
 
 #. type: subsection
-#: guix-git/doc/guix-cookbook.texi:1986 guix-git/doc/guix-cookbook.texi:1987
+#: guix-git/doc/guix-cookbook.texi:2003 guix-git/doc/guix-cookbook.texi:2004
 #, no-wrap
 msgid "Session lock"
 msgstr ""
 
 #. type: cindex
-#: guix-git/doc/guix-cookbook.texi:1988
+#: guix-git/doc/guix-cookbook.texi:2005
 #, no-wrap
 msgid "sessionlock"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:1994
+#: guix-git/doc/guix-cookbook.texi:2011
 msgid "Depending on your environment, locking the screen of your session might come built in or it might be something you have to set up yourself. If you use a desktop environment like GNOME or KDE, it's usually built in. If you use a plain window manager like StumpWM or EXWM, you might have to set it up yourself."
 msgstr ""
 
 #. type: subsubsection
-#: guix-git/doc/guix-cookbook.texi:1995 guix-git/doc/guix-cookbook.texi:1996
+#: guix-git/doc/guix-cookbook.texi:2012 guix-git/doc/guix-cookbook.texi:2013
 #, no-wrap
 msgid "Xorg"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2002
+#: guix-git/doc/guix-cookbook.texi:2019
 msgid "If you use Xorg, you can use the utility @uref{https://www.mankier.com/1/xss-lock, xss-lock} to lock the screen of your session.  xss-lock is triggered by DPMS which since Xorg 1.8 is auto-detected and enabled if ACPI is also enabled at kernel runtime."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2005
+#: guix-git/doc/guix-cookbook.texi:2022
 msgid "To use xss-lock, you can simple execute it and put it into the background before you start your window manager from e.g. your @file{~/.xsession}:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2009
+#: guix-git/doc/guix-cookbook.texi:2026
 #, no-wrap
 msgid ""
 "xss-lock -- slock &\n"
@@ -3320,131 +3354,131 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2013
+#: guix-git/doc/guix-cookbook.texi:2030
 msgid "In this example, xss-lock uses @code{slock} to do the actual locking of the screen when it determines it's appropriate, like when you suspend your device."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2017
+#: guix-git/doc/guix-cookbook.texi:2034
 msgid "For slock to be allowed to be a screen locker for the graphical session, it needs to be made setuid-root so it can authenticate users, and it needs a PAM service. This can be achieved by adding the following service to your @file{config.scm}:"
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:2020
+#: guix-git/doc/guix-cookbook.texi:2037
 #, no-wrap
 msgid "(screen-locker-service slock)\n"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2026
+#: guix-git/doc/guix-cookbook.texi:2043
 msgid "If you manually lock your screen, e.g. by directly calling slock when you want to lock your screen but not suspend it, it's a good idea to notify xss-lock about this so no confusion occurs. This can be done by executing @code{xset s activate} immediately before you execute slock."
 msgstr ""
 
 #. type: cindex
-#: guix-git/doc/guix-cookbook.texi:2029
+#: guix-git/doc/guix-cookbook.texi:2046
 #, no-wrap
 msgid "linode, Linode"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2034
+#: guix-git/doc/guix-cookbook.texi:2051
 msgid "To run Guix on a server hosted by @uref{https://www.linode.com, Linode}, start with a recommended Debian server.  We recommend using the default distro as a way to bootstrap Guix. Create your SSH keys."
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2037
+#: guix-git/doc/guix-cookbook.texi:2054
 #, no-wrap
 msgid "ssh-keygen\n"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2043
+#: guix-git/doc/guix-cookbook.texi:2060
 msgid "Be sure to add your SSH key for easy login to the remote server.  This is trivially done via Linode's graphical interface for adding SSH keys.  Go to your profile and click add SSH Key.  Copy into it the output of:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2046
+#: guix-git/doc/guix-cookbook.texi:2063
 #, no-wrap
 msgid "cat ~/.ssh/<username>_rsa.pub\n"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2049
+#: guix-git/doc/guix-cookbook.texi:2066
 msgid "Power the Linode down."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2053
+#: guix-git/doc/guix-cookbook.texi:2070
 msgid "In the Linode's Storage tab, resize the Debian disk to be smaller.  30 GB free space is recommended.  Then click \"Add a disk\", and fill out the form with the following:"
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:2057
+#: guix-git/doc/guix-cookbook.texi:2074
 msgid "Label: \"Guix\""
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:2060
+#: guix-git/doc/guix-cookbook.texi:2077
 msgid "Filesystem: ext4"
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:2063
+#: guix-git/doc/guix-cookbook.texi:2080
 msgid "Set it to the remaining size"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2068
+#: guix-git/doc/guix-cookbook.texi:2085
 msgid "In the Configurations tab, press \"Edit\" on the default Debian profile.  Under \"Block Device Assignment\" click \"Add a Device\". It should be @file{/dev/sdc} and you can select the \"Guix\" disk. Save Changes."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2070
+#: guix-git/doc/guix-cookbook.texi:2087
 msgid "Now \"Add a Configuration\", with the following:"
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:2073
+#: guix-git/doc/guix-cookbook.texi:2090
 msgid "Label: Guix"
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:2076
+#: guix-git/doc/guix-cookbook.texi:2093
 msgid "Kernel:GRUB 2 (it's at the bottom! This step is @b{IMPORTANT!})"
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:2079
+#: guix-git/doc/guix-cookbook.texi:2096
 msgid "Block device assignment:"
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:2082
+#: guix-git/doc/guix-cookbook.texi:2099
 msgid "@file{/dev/sda}: Guix"
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:2085
+#: guix-git/doc/guix-cookbook.texi:2102
 msgid "@file{/dev/sdb}: swap"
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:2088
+#: guix-git/doc/guix-cookbook.texi:2105
 msgid "Root device: @file{/dev/sda}"
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:2091
+#: guix-git/doc/guix-cookbook.texi:2108
 msgid "Turn off all the filesystem/boot helpers"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2098
+#: guix-git/doc/guix-cookbook.texi:2115
 msgid "Now power it back up, booting with the Debian configuration.  Once it's running, ssh to your server via @code{ssh root@@@var{<your-server-IP-here>}}. (You can find your server IP address in your Linode Summary section.) Now you can run the \"install guix from @pxref{Binary Installation,,, guix, GNU Guix}\" steps:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2106
+#: guix-git/doc/guix-cookbook.texi:2123
 #, no-wrap
 msgid ""
 "sudo apt-get install gpg\n"
@@ -3456,12 +3490,12 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2110
+#: guix-git/doc/guix-cookbook.texi:2127
 msgid "Now it's time to write out a config for the server.  The key information is below. Save the resulting file as @file{guix-config.scm}."
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:2121
+#: guix-git/doc/guix-cookbook.texi:2138
 #, no-wrap
 msgid ""
 "(use-modules (gnu)\n"
@@ -3477,7 +3511,7 @@ msgid ""
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:2138
+#: guix-git/doc/guix-cookbook.texi:2155
 #, no-wrap
 msgid ""
 "(operating-system\n"
@@ -3500,7 +3534,7 @@ msgid ""
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:2141
+#: guix-git/doc/guix-cookbook.texi:2158
 #, no-wrap
 msgid ""
 "  (swap-devices (list \"/dev/sdb\"))\n"
@@ -3508,7 +3542,7 @@ msgid ""
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:2145
+#: guix-git/doc/guix-cookbook.texi:2162
 #, no-wrap
 msgid ""
 "  (initrd-modules (cons \"virtio_scsi\"    ; Needed to find the disk\n"
@@ -3517,7 +3551,7 @@ msgid ""
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:2154
+#: guix-git/doc/guix-cookbook.texi:2171
 #, no-wrap
 msgid ""
 "  (users (cons (user-account\n"
@@ -3532,7 +3566,7 @@ msgid ""
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:2158
+#: guix-git/doc/guix-cookbook.texi:2175
 #, no-wrap
 msgid ""
 "  (packages (cons* nss-certs            ;for HTTPS access\n"
@@ -3542,7 +3576,7 @@ msgid ""
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:2169
+#: guix-git/doc/guix-cookbook.texi:2186
 #, no-wrap
 msgid ""
 "  (services (cons*\n"
@@ -3558,12 +3592,12 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2172
+#: guix-git/doc/guix-cookbook.texi:2189
 msgid "Replace the following fields in the above configuration:"
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:2180
+#: guix-git/doc/guix-cookbook.texi:2197
 #, no-wrap
 msgid ""
 "(host-name \"my-server\")       ; replace with your server name\n"
@@ -3576,17 +3610,17 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2187
+#: guix-git/doc/guix-cookbook.texi:2204
 msgid "The last line in the above example lets you log into the server as root and set the initial root password (see the note at the end of this recipe about root login).  After you have done this, you may delete that line from your configuration and reconfigure to prevent root login."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2192
+#: guix-git/doc/guix-cookbook.texi:2209
 msgid "Copy your ssh public key (eg: @file{~/.ssh/id_rsa.pub}) as @file{@var{<your-username-here>}_rsa.pub} and put @file{guix-config.scm} in the same directory.  In a new terminal run these commands."
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2197
+#: guix-git/doc/guix-cookbook.texi:2214
 #, no-wrap
 msgid ""
 "sftp root@@<remote server ip address>\n"
@@ -3595,12 +3629,12 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2200
+#: guix-git/doc/guix-cookbook.texi:2217
 msgid "In your first terminal, mount the guix drive:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2204
+#: guix-git/doc/guix-cookbook.texi:2221
 #, no-wrap
 msgid ""
 "mkdir /mnt/guix\n"
@@ -3608,12 +3642,12 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2209
+#: guix-git/doc/guix-cookbook.texi:2226
 msgid "Due to the way we set up the bootloader section of the guix-config.scm, only the grub configuration file will be installed.  So, we need to copy over some of the other GRUB stuff already installed on the Debian system:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2213
+#: guix-git/doc/guix-cookbook.texi:2230
 #, no-wrap
 msgid ""
 "mkdir -p /mnt/guix/boot/grub\n"
@@ -3621,28 +3655,28 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2216
+#: guix-git/doc/guix-cookbook.texi:2233
 msgid "Now initialize the Guix installation:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2219
+#: guix-git/doc/guix-cookbook.texi:2236
 #, no-wrap
 msgid "guix system init guix-config.scm /mnt/guix\n"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2223
+#: guix-git/doc/guix-cookbook.texi:2240
 msgid "Ok, power it down! Now from the Linode console, select boot and select \"Guix\"."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2226
+#: guix-git/doc/guix-cookbook.texi:2243
 msgid "Once it boots, you should be able to log in via SSH! (The server config will have changed though.)  You may encounter an error like:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2242
+#: guix-git/doc/guix-cookbook.texi:2259
 #, no-wrap
 msgid ""
 "$ ssh root@@<server ip address>\n"
@@ -3662,17 +3696,17 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2246
+#: guix-git/doc/guix-cookbook.texi:2263
 msgid "Either delete @file{~/.ssh/known_hosts} file, or delete the offending line starting with your server IP address."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2248
+#: guix-git/doc/guix-cookbook.texi:2265
 msgid "Be sure to set your password and root's password."
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2253
+#: guix-git/doc/guix-cookbook.texi:2270
 #, no-wrap
 msgid ""
 "ssh root@@<remote ip address>\n"
@@ -3681,32 +3715,32 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2260
+#: guix-git/doc/guix-cookbook.texi:2277
 msgid "You may not be able to run the above commands at this point.  If you have issues remotely logging into your linode box via SSH, then you may still need to set your root and user password initially by clicking on the ``Launch Console'' option in your linode.  Choose the ``Glish'' instead of ``Weblish''.  Now you should be able to ssh into the machine."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2264
+#: guix-git/doc/guix-cookbook.texi:2281
 msgid "Hooray! At this point you can shut down the server, delete the Debian disk, and resize the Guix to the rest of the size.  Congratulations!"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2269
+#: guix-git/doc/guix-cookbook.texi:2286
 msgid "By the way, if you save it as a disk image right at this point, you'll have an easy time spinning up new Guix images! You may need to down-size the Guix image to 6144MB, to save it as an image.  Then you can resize it again to the max size."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2278
+#: guix-git/doc/guix-cookbook.texi:2295
 msgid "To bind mount a file system, one must first set up some definitions before the @code{operating-system} section of the system definition.  In this example we will bind mount a folder from a spinning disk drive to @file{/tmp}, to save wear and tear on the primary SSD, without dedicating an entire partition to be mounted as @file{/tmp}."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2281
+#: guix-git/doc/guix-cookbook.texi:2298
 msgid "First, the source drive that hosts the folder we wish to bind mount should be defined, so that the bind mount can depend on it."
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:2288
+#: guix-git/doc/guix-cookbook.texi:2305
 #, no-wrap
 msgid ""
 "(define source-drive ;; \"source-drive\" can be named anything you want.\n"
@@ -3717,23 +3751,23 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2292
+#: guix-git/doc/guix-cookbook.texi:2309
 msgid "The source folder must also be defined, so that guix will know it's not a regular block device, but a folder."
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:2294
+#: guix-git/doc/guix-cookbook.texi:2311
 #, no-wrap
 msgid "(define (%source-directory) \"/path-to-spinning-disk-goes-here/tmp\") ;; \"source-directory\" can be named any valid variable name.\n"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2298
+#: guix-git/doc/guix-cookbook.texi:2315
 msgid "Finally, inside the @code{file-systems} definition, we must add the mount itself."
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:2301
+#: guix-git/doc/guix-cookbook.texi:2318
 #, no-wrap
 msgid ""
 "(file-systems (cons*\n"
@@ -3741,7 +3775,7 @@ msgid ""
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:2303
+#: guix-git/doc/guix-cookbook.texi:2320
 #, no-wrap
 msgid ""
 "                ...<other drives omitted for clarity>...\n"
@@ -3749,7 +3783,7 @@ msgid ""
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:2305
+#: guix-git/doc/guix-cookbook.texi:2322
 #, no-wrap
 msgid ""
 "                source-drive ;; Must match the name you gave the source drive in the earlier definition.\n"
@@ -3757,7 +3791,7 @@ msgid ""
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:2313
+#: guix-git/doc/guix-cookbook.texi:2330
 #, no-wrap
 msgid ""
 "                (file-system\n"
@@ -3771,7 +3805,7 @@ msgid ""
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:2315
+#: guix-git/doc/guix-cookbook.texi:2332
 #, no-wrap
 msgid ""
 "                 ...<other drives omitted for clarity>...\n"
@@ -3779,39 +3813,39 @@ msgid ""
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:2317
+#: guix-git/doc/guix-cookbook.texi:2334
 #, no-wrap
 msgid "                ))\n"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2324
+#: guix-git/doc/guix-cookbook.texi:2341
 msgid "Guix daemon can use a HTTP proxy to get substitutes, here we are configuring it to get them via Tor."
 msgstr ""
 
 #. type: quotation
-#: guix-git/doc/guix-cookbook.texi:2325
+#: guix-git/doc/guix-cookbook.texi:2342
 #, no-wrap
 msgid "Warning"
 msgstr "경고"
 
 #. type: quotation
-#: guix-git/doc/guix-cookbook.texi:2331
+#: guix-git/doc/guix-cookbook.texi:2348
 msgid "@emph{Not all} Guix daemon's traffic will go through Tor! Only HTTP/HTTPS will get proxied; FTP, Git protocol, SSH, etc connections will still go through the clearnet.  Again, this configuration isn't foolproof some of your traffic won't get routed by Tor at all.  Use it at your own risk."
 msgstr ""
 
 #. type: quotation
-#: guix-git/doc/guix-cookbook.texi:2337
+#: guix-git/doc/guix-cookbook.texi:2354
 msgid "Also note that the procedure described here applies only to package substitution. When you update your guix distribution with @command{guix pull}, you still need to use @command{torsocks} if you want to route the connection to guix's git repository servers through Tor."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2342
+#: guix-git/doc/guix-cookbook.texi:2359
 msgid "Guix's substitute server is available as a Onion service, if you want to use it to get your substitutes through Tor configure your system as follow:"
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:2346
+#: guix-git/doc/guix-cookbook.texi:2363
 #, no-wrap
 msgid ""
 "(use-modules (gnu))\n"
@@ -3820,7 +3854,7 @@ msgid ""
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:2363
+#: guix-git/doc/guix-cookbook.texi:2380
 #, no-wrap
 msgid ""
 "(operating-system\n"
@@ -3842,17 +3876,17 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2372
+#: guix-git/doc/guix-cookbook.texi:2389
 msgid "This will keep a tor process running that provides a HTTP CONNECT tunnel which will be used by @command{guix-daemon}.  The daemon can use other protocols than HTTP(S) to get remote resources, request using those protocols won't go through Tor since we are only setting a HTTP tunnel here.  Note that @code{substitutes-urls} is using HTTPS and not HTTP or it won't work, that's a limitation of Tor's tunnel; you may want to use @command{privoxy} instead to avoid such limitations."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2376
+#: guix-git/doc/guix-cookbook.texi:2393
 msgid "If you don't want to always get substitutes through Tor but using it just some of the times, then skip the @code{guix-configuration}.  When you want to get a substitute from the Tor tunnel run:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2381
+#: guix-git/doc/guix-cookbook.texi:2398
 #, no-wrap
 msgid ""
 "sudo herd set-http-proxy guix-daemon http://localhost:9250\n"
@@ -3861,28 +3895,28 @@ msgid ""
 msgstr ""
 
 #. type: cindex
-#: guix-git/doc/guix-cookbook.texi:2385
+#: guix-git/doc/guix-cookbook.texi:2402
 #, no-wrap
 msgid "nginx, lua, openresty, resty"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2388
+#: guix-git/doc/guix-cookbook.texi:2405
 msgid "NGINX could be extended with Lua scripts."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2391
+#: guix-git/doc/guix-cookbook.texi:2408
 msgid "Guix provides NGINX service with ability to load Lua module and specific Lua packages, and reply to requests by evaluating Lua scripts."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2395
+#: guix-git/doc/guix-cookbook.texi:2412
 msgid "The following example demonstrates system definition with configuration to evaluate @file{index.lua} Lua script on HTTP request to @uref{http://localhost/hello} endpoint:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2398
+#: guix-git/doc/guix-cookbook.texi:2415
 #, no-wrap
 msgid ""
 "local shell = require \"resty.shell\"\n"
@@ -3890,7 +3924,7 @@ msgid ""
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2402
+#: guix-git/doc/guix-cookbook.texi:2419
 #, no-wrap
 msgid ""
 "local stdin = \"\"\n"
@@ -3900,7 +3934,7 @@ msgid ""
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2405
+#: guix-git/doc/guix-cookbook.texi:2422
 #, no-wrap
 msgid ""
 "local ok, stdout, stderr, reason, status =\n"
@@ -3909,13 +3943,13 @@ msgid ""
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2407
+#: guix-git/doc/guix-cookbook.texi:2424
 #, no-wrap
 msgid "ngx.say(stdout)\n"
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:2438
+#: guix-git/doc/guix-cookbook.texi:2455
 #, no-wrap
 msgid ""
 "(use-modules (gnu))\n"
@@ -3949,130 +3983,130 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2449
+#: guix-git/doc/guix-cookbook.texi:2466
 msgid "Guix is a functional package manager that offers many features beyond what more traditional package managers can do.  To the uninitiated, those features might not have obvious use cases at first.  The purpose of this chapter is to demonstrate some advanced package management concepts."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2452
+#: guix-git/doc/guix-cookbook.texi:2469
 msgid "@pxref{Package Management,,, guix, GNU Guix Reference Manual} for a complete reference."
 msgstr ""
 
 #. type: section
-#: guix-git/doc/guix-cookbook.texi:2455 guix-git/doc/guix-cookbook.texi:2457
-#: guix-git/doc/guix-cookbook.texi:2458
+#: guix-git/doc/guix-cookbook.texi:2472 guix-git/doc/guix-cookbook.texi:2474
+#: guix-git/doc/guix-cookbook.texi:2475
 #, no-wrap
 msgid "Guix Profiles in Practice"
 msgstr ""
 
 #. type: menuentry
-#: guix-git/doc/guix-cookbook.texi:2455
+#: guix-git/doc/guix-cookbook.texi:2472
 msgid "Strategies for multiple profiles and manifests."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2463
+#: guix-git/doc/guix-cookbook.texi:2480
 msgid "Guix provides a very useful feature that may be quite foreign to newcomers: @emph{profiles}.  They are a way to group package installations together and all users on the same system are free to use as many profiles as they want."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2468
+#: guix-git/doc/guix-cookbook.texi:2485
 msgid "Whether you're a developer or not, you may find that multiple profiles bring you great power and flexibility.  While they shift the paradigm somewhat compared to @emph{traditional package managers}, they are very convenient to use once you've understood how to set them up."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2474
+#: guix-git/doc/guix-cookbook.texi:2491
 msgid "If you are familiar with Python's @samp{virtualenv}, you can think of a profile as a kind of universal @samp{virtualenv} that can hold any kind of software whatsoever, not just Python software.  Furthermore, profiles are self-sufficient: they capture all the runtime dependencies which guarantees that all programs within a profile will always work at any point in time."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2476
+#: guix-git/doc/guix-cookbook.texi:2493
 msgid "Multiple profiles have many benefits:"
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:2480
+#: guix-git/doc/guix-cookbook.texi:2497
 msgid "Clean semantic separation of the various packages a user needs for different contexts."
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:2484
+#: guix-git/doc/guix-cookbook.texi:2501
 msgid "Multiple profiles can be made available into the environment either on login or within a dedicated shell."
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:2488
+#: guix-git/doc/guix-cookbook.texi:2505
 msgid "Profiles can be loaded on demand.  For instance, the user can use multiple shells, each of them running different profiles."
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:2493
+#: guix-git/doc/guix-cookbook.texi:2510
 msgid "Isolation: Programs from one profile will not use programs from the other, and the user can even install different versions of the same programs to the two profiles without conflict."
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:2497
+#: guix-git/doc/guix-cookbook.texi:2514
 msgid "Deduplication: Profiles share dependencies that happens to be the exact same.  This makes multiple profiles storage-efficient."
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:2505
+#: guix-git/doc/guix-cookbook.texi:2522
 msgid "Reproducible: when used with declarative manifests, a profile can be fully specified by the Guix commit that was active when it was set up.  This means that the exact same profile can be @uref{https://guix.gnu.org/blog/2018/multi-dimensional-transactions-and-rollbacks-oh-my/, set up anywhere and anytime}, with just the commit information.  See the section on @ref{Reproducible profiles}."
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:2509
+#: guix-git/doc/guix-cookbook.texi:2526
 msgid "Easier upgrades and maintenance: Multiple profiles make it easy to keep package listings at hand and make upgrades completely frictionless."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2512
+#: guix-git/doc/guix-cookbook.texi:2529
 msgid "Concretely, here follows some typical profiles:"
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:2516
+#: guix-git/doc/guix-cookbook.texi:2533
 msgid "The dependencies of a project you are working on."
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:2519
+#: guix-git/doc/guix-cookbook.texi:2536
 msgid "Your favourite programming language libraries."
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:2522
+#: guix-git/doc/guix-cookbook.texi:2539
 msgid "Laptop-specific programs (like @samp{powertop}) that you don't need on a desktop."
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:2526
+#: guix-git/doc/guix-cookbook.texi:2543
 msgid "@TeX{}live (this one can be really useful when you need to install just one package for this one document you've just received over email)."
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:2529
+#: guix-git/doc/guix-cookbook.texi:2546
 msgid "Games."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2532
+#: guix-git/doc/guix-cookbook.texi:2549
 msgid "Let's dive in the set up!"
 msgstr ""
 
 #. type: subsection
-#: guix-git/doc/guix-cookbook.texi:2533 guix-git/doc/guix-cookbook.texi:2534
+#: guix-git/doc/guix-cookbook.texi:2550 guix-git/doc/guix-cookbook.texi:2551
 #, no-wrap
 msgid "Basic setup with manifests"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2539
+#: guix-git/doc/guix-cookbook.texi:2556
 msgid "A Guix profile can be set up @i{via} a @dfn{manifest}.  A manifest is a snippet of Scheme code that specifies the set of packages you want to have in your profile; it looks like this:"
 msgstr ""
 
 #. type: lisp
-#: guix-git/doc/guix-cookbook.texi:2549
+#: guix-git/doc/guix-cookbook.texi:2566
 #, no-wrap
 msgid ""
 "(specifications->manifest\n"
@@ -4086,17 +4120,17 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2553
+#: guix-git/doc/guix-cookbook.texi:2570
 msgid "@xref{Writing Manifests,,, guix, GNU Guix Reference Manual}, for more information about the syntax."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2555
+#: guix-git/doc/guix-cookbook.texi:2572
 msgid "We can create a manifest specification per profile and install them this way:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2560
+#: guix-git/doc/guix-cookbook.texi:2577
 #, no-wrap
 msgid ""
 "GUIX_EXTRA_PROFILES=$HOME/.guix-extra-profiles\n"
@@ -4105,38 +4139,38 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2564
+#: guix-git/doc/guix-cookbook.texi:2581
 msgid "Here we set an arbitrary variable @samp{GUIX_EXTRA_PROFILES} to point to the directory where we will store our profiles in the rest of this article."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2570
+#: guix-git/doc/guix-cookbook.texi:2587
 msgid "Placing all your profiles in a single directory, with each profile getting its own sub-directory, is somewhat cleaner.  This way, each sub-directory will contain all the symlinks for precisely one profile.  Besides, ``looping over profiles'' becomes obvious from any programming language (e.g.@: a shell script) by simply looping over the sub-directories of @samp{$GUIX_EXTRA_PROFILES}."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2572
+#: guix-git/doc/guix-cookbook.texi:2589
 msgid "Note that it's also possible to loop over the output of"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2575
+#: guix-git/doc/guix-cookbook.texi:2592
 #, no-wrap
 msgid "guix package --list-profiles\n"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2578
+#: guix-git/doc/guix-cookbook.texi:2595
 msgid "although you'll probably have to filter out @file{~/.config/guix/current}."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2580
+#: guix-git/doc/guix-cookbook.texi:2597
 msgid "To enable all profiles on login, add this to your @file{~/.bash_profile} (or similar):"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2590
+#: guix-git/doc/guix-cookbook.texi:2607
 #, no-wrap
 msgid ""
 "for i in $GUIX_EXTRA_PROFILES/*; do\n"
@@ -4150,17 +4184,17 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2595
+#: guix-git/doc/guix-cookbook.texi:2612
 msgid "Note to Guix System users: the above reflects how your default profile @file{~/.guix-profile} is activated from @file{/etc/profile}, that latter being loaded by @file{~/.bashrc} by default."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2597
+#: guix-git/doc/guix-cookbook.texi:2614
 msgid "You can obviously choose to only enable a subset of them:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2607
+#: guix-git/doc/guix-cookbook.texi:2624
 #, no-wrap
 msgid ""
 "for i in \"$GUIX_EXTRA_PROFILES\"/my-project-1 \"$GUIX_EXTRA_PROFILES\"/my-project-2; do\n"
@@ -4174,50 +4208,50 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2611
+#: guix-git/doc/guix-cookbook.texi:2628
 msgid "When a profile is off, it's straightforward to enable it for an individual shell without \"polluting\" the rest of the user session:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2614
+#: guix-git/doc/guix-cookbook.texi:2631
 #, no-wrap
 msgid "GUIX_PROFILE=\"path/to/my-project\" ; . \"$GUIX_PROFILE\"/etc/profile\n"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2621
+#: guix-git/doc/guix-cookbook.texi:2638
 msgid "The key to enabling a profile is to @emph{source} its @samp{etc/profile} file.  This file contains shell code that exports the right environment variables necessary to activate the software contained in the profile.  It is built automatically by Guix and meant to be sourced.  It contains the same variables you would get if you ran:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2624
+#: guix-git/doc/guix-cookbook.texi:2641
 #, no-wrap
 msgid "guix package --search-paths=prefix --profile=$my_profile\"\n"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2628
+#: guix-git/doc/guix-cookbook.texi:2645
 msgid "Once again, see (@pxref{Invoking guix package,,, guix, GNU Guix Reference Manual})  for the command line options."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2630
+#: guix-git/doc/guix-cookbook.texi:2647
 msgid "To upgrade a profile, simply install the manifest again:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2633
+#: guix-git/doc/guix-cookbook.texi:2650
 #, no-wrap
 msgid "guix package -m /path/to/guix-my-project-manifest.scm -p \"$GUIX_EXTRA_PROFILES\"/my-project/my-project\n"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2639
+#: guix-git/doc/guix-cookbook.texi:2656
 msgid "To upgrade all profiles, it's easy enough to loop over them.  For instance, assuming your manifest specifications are stored in @file{~/.guix-manifests/guix-$profile-manifest.scm}, with @samp{$profile} being the name of the profile (e.g.@: \"project1\"), you could do the following in Bourne shell:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2644
+#: guix-git/doc/guix-cookbook.texi:2661
 #, no-wrap
 msgid ""
 "for profile in \"$GUIX_EXTRA_PROFILES\"/*; do\n"
@@ -4226,34 +4260,34 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2647
+#: guix-git/doc/guix-cookbook.texi:2664
 msgid "Each profile has its own generations:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2650
+#: guix-git/doc/guix-cookbook.texi:2667
 #, no-wrap
 msgid "guix package -p \"$GUIX_EXTRA_PROFILES\"/my-project/my-project --list-generations\n"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2653
+#: guix-git/doc/guix-cookbook.texi:2670
 msgid "You can roll-back to any generation of a given profile:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2656
+#: guix-git/doc/guix-cookbook.texi:2673
 #, no-wrap
 msgid "guix package -p \"$GUIX_EXTRA_PROFILES\"/my-project/my-project --switch-generations=17\n"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2660
+#: guix-git/doc/guix-cookbook.texi:2677
 msgid "Finally, if you want to switch to a profile without inheriting from the current environment, you can activate it from an empty shell:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2664
+#: guix-git/doc/guix-cookbook.texi:2681
 #, no-wrap
 msgid ""
 "env -i $(which bash) --login --noprofile --norc\n"
@@ -4261,70 +4295,70 @@ msgid ""
 msgstr ""
 
 #. type: subsection
-#: guix-git/doc/guix-cookbook.texi:2666 guix-git/doc/guix-cookbook.texi:2667
+#: guix-git/doc/guix-cookbook.texi:2683 guix-git/doc/guix-cookbook.texi:2684
 #, no-wrap
 msgid "Required packages"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2672
+#: guix-git/doc/guix-cookbook.texi:2689
 msgid "Activating a profile essentially boils down to exporting a bunch of environmental variables.  This is the role of the @samp{etc/profile} within the profile."
 msgstr ""
 
 #. type: emph{#1}
-#: guix-git/doc/guix-cookbook.texi:2675
+#: guix-git/doc/guix-cookbook.texi:2692
 msgid "Note: Only the environmental variables of the packages that consume them will be set."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2679
+#: guix-git/doc/guix-cookbook.texi:2696
 msgid "For instance, @samp{MANPATH} won't be set if there is no consumer application for man pages within the profile.  So if you need to transparently access man pages once the profile is loaded, you've got two options:"
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:2683
+#: guix-git/doc/guix-cookbook.texi:2700
 msgid "Either export the variable manually, e.g."
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2685
+#: guix-git/doc/guix-cookbook.texi:2702
 #, no-wrap
 msgid "export MANPATH=/path/to/profile$@{MANPATH:+:@}$MANPATH\n"
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:2689
+#: guix-git/doc/guix-cookbook.texi:2706
 msgid "Or include @samp{man-db} to the profile manifest."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2693
+#: guix-git/doc/guix-cookbook.texi:2710
 msgid "The same is true for @samp{INFOPATH} (you can install @samp{info-reader}), @samp{PKG_CONFIG_PATH} (install @samp{pkg-config}), etc."
 msgstr ""
 
 #. type: subsection
-#: guix-git/doc/guix-cookbook.texi:2694 guix-git/doc/guix-cookbook.texi:2695
+#: guix-git/doc/guix-cookbook.texi:2711 guix-git/doc/guix-cookbook.texi:2712
 #, no-wrap
 msgid "Default profile"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2698
+#: guix-git/doc/guix-cookbook.texi:2715
 msgid "What about the default profile that Guix keeps in @file{~/.guix-profile}?"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2701
+#: guix-git/doc/guix-cookbook.texi:2718
 msgid "You can assign it the role you want.  Typically you would install the manifest of the packages you want to use all the time."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2705
+#: guix-git/doc/guix-cookbook.texi:2722
 msgid "Alternatively, you could keep it ``manifest-less'' for throw-away packages that you would just use for a couple of days.  This way makes it convenient to run"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2709
+#: guix-git/doc/guix-cookbook.texi:2726
 #, no-wrap
 msgid ""
 "guix install package-foo\n"
@@ -4332,139 +4366,139 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2712
+#: guix-git/doc/guix-cookbook.texi:2729
 msgid "without having to specify the path to a profile."
 msgstr ""
 
 #. type: subsection
-#: guix-git/doc/guix-cookbook.texi:2713 guix-git/doc/guix-cookbook.texi:2714
+#: guix-git/doc/guix-cookbook.texi:2730 guix-git/doc/guix-cookbook.texi:2731
 #, no-wrap
 msgid "The benefits of manifests"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2718
+#: guix-git/doc/guix-cookbook.texi:2735
 msgid "Manifests are a convenient way to keep your package lists around and, say, to synchronize them across multiple machines using a version control system."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2722
+#: guix-git/doc/guix-cookbook.texi:2739
 msgid "A common complaint about manifests is that they can be slow to install when they contain large number of packages.  This is especially cumbersome when you just want get an upgrade for one package within a big manifest."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2727
+#: guix-git/doc/guix-cookbook.texi:2744
 msgid "This is one more reason to use multiple profiles, which happen to be just perfect to break down manifests into multiple sets of semantically connected packages.  Using multiple, small profiles provides more flexibility and usability."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2729
+#: guix-git/doc/guix-cookbook.texi:2746
 msgid "Manifests come with multiple benefits.  In particular, they ease maintenance:"
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:2737
+#: guix-git/doc/guix-cookbook.texi:2754
 msgid "When a profile is set up from a manifest, the manifest itself is self-sufficient to keep a ``package listing'' around and reinstall the profile later or on a different system.  For ad-hoc profiles, we would need to generate a manifest specification manually and maintain the package versions for the packages that don't use the default version."
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:2742
+#: guix-git/doc/guix-cookbook.texi:2759
 msgid "@code{guix package --upgrade} always tries to update the packages that have propagated inputs, even if there is nothing to do.  Guix manifests remove this problem."
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:2748
+#: guix-git/doc/guix-cookbook.texi:2765
 msgid "When partially upgrading a profile, conflicts may arise (due to diverging dependencies between the updated and the non-updated packages) and they can be annoying to resolve manually.  Manifests remove this problem altogether since all packages are always upgraded at once."
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:2754
+#: guix-git/doc/guix-cookbook.texi:2771
 msgid "As mentioned above, manifests allow for reproducible profiles, while the imperative @code{guix install}, @code{guix upgrade}, etc. do not, since they produce different profiles every time even when they hold the same packages.  See @uref{https://issues.guix.gnu.org/issue/33285, the related discussion on the matter}."
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:2762
+#: guix-git/doc/guix-cookbook.texi:2779
 msgid "Manifest specifications are usable by other @samp{guix} commands.  For example, you can run @code{guix weather -m manifest.scm} to see how many substitutes are available, which can help you decide whether you want to try upgrading today or wait a while.  Another example: you can run @code{guix pack -m manifest.scm} to create a pack containing all the packages in the manifest (and their transitive references)."
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:2766
+#: guix-git/doc/guix-cookbook.texi:2783
 msgid "Finally, manifests have a Scheme representation, the @samp{<manifest>} record type.  They can be manipulated in Scheme and passed to the various Guix @uref{https://en.wikipedia.org/wiki/Api, APIs}."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2774
+#: guix-git/doc/guix-cookbook.texi:2791
 msgid "It's important to understand that while manifests can be used to declare profiles, they are not strictly equivalent: profiles have the side effect that they ``pin'' packages in the store, which prevents them from being garbage-collected (@pxref{Invoking guix gc,,, guix, GNU Guix Reference Manual})  and ensures that they will still be available at any point in the future."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2776
+#: guix-git/doc/guix-cookbook.texi:2793
 msgid "Let's take an example:"
 msgstr ""
 
 #. type: enumerate
-#: guix-git/doc/guix-cookbook.texi:2782
+#: guix-git/doc/guix-cookbook.texi:2799
 msgid "We have an environment for hacking on a project for which there isn't a Guix package yet.  We build the environment using a manifest, and then run @code{guix environment -m manifest.scm}.  So far so good."
 msgstr ""
 
 #. type: enumerate
-#: guix-git/doc/guix-cookbook.texi:2788
+#: guix-git/doc/guix-cookbook.texi:2805
 msgid "Many weeks pass and we have run a couple of @code{guix pull} in the mean time.  Maybe a dependency from our manifest has been updated; or we may have run @code{guix gc} and some packages needed by our manifest have been garbage-collected."
 msgstr ""
 
 #. type: enumerate
-#: guix-git/doc/guix-cookbook.texi:2793
-msgid "Eventually, we set to work on that project again, so we run @code{guix environment -m manifest.scm}.  But now we have to wait for Guix to build and install stuff!"
+#: guix-git/doc/guix-cookbook.texi:2810
+msgid "Eventually, we set to work on that project again, so we run @code{guix shell -m manifest.scm}.  But now we have to wait for Guix to build and install stuff!"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2799
+#: guix-git/doc/guix-cookbook.texi:2816
 msgid "Ideally, we could spare the rebuild time.  And indeed we can, all we need is to install the manifest to a profile and use @code{GUIX_PROFILE=/the/profile; . \"$GUIX_PROFILE\"/etc/profile} as explained above: this guarantees that our hacking environment will be available at all times."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2802
+#: guix-git/doc/guix-cookbook.texi:2819
 msgid "@emph{Security warning:} While keeping old profiles around can be convenient, keep in mind that outdated packages may not have received the latest security fixes."
 msgstr ""
 
 #. type: subsection
-#: guix-git/doc/guix-cookbook.texi:2803 guix-git/doc/guix-cookbook.texi:2804
+#: guix-git/doc/guix-cookbook.texi:2820 guix-git/doc/guix-cookbook.texi:2821
 #, no-wrap
 msgid "Reproducible profiles"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2807
+#: guix-git/doc/guix-cookbook.texi:2824
 msgid "To reproduce a profile bit-for-bit, we need two pieces of information:"
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:2811
+#: guix-git/doc/guix-cookbook.texi:2828
 msgid "a manifest,"
 msgstr ""
 
 #. type: itemize
-#: guix-git/doc/guix-cookbook.texi:2813
+#: guix-git/doc/guix-cookbook.texi:2830
 msgid "a Guix channel specification."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2817
+#: guix-git/doc/guix-cookbook.texi:2834
 msgid "Indeed, manifests alone might not be enough: different Guix versions (or different channels) can produce different outputs for a given manifest."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2821
+#: guix-git/doc/guix-cookbook.texi:2838
 msgid "You can output the Guix channel specification with @samp{guix describe --format=channels}.  Save this to a file, say @samp{channel-specs.scm}."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2824
+#: guix-git/doc/guix-cookbook.texi:2841
 msgid "On another computer, you can use the channel specification file and the manifest to reproduce the exact same profile:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2828
+#: guix-git/doc/guix-cookbook.texi:2845
 #, no-wrap
 msgid ""
 "GUIX_EXTRA_PROFILES=$HOME/.guix-extra-profiles\n"
@@ -4473,7 +4507,7 @@ msgid ""
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2831
+#: guix-git/doc/guix-cookbook.texi:2848
 #, no-wrap
 msgid ""
 "mkdir \"$GUIX_EXTRA\"/my-project\n"
@@ -4482,7 +4516,7 @@ msgid ""
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2834
+#: guix-git/doc/guix-cookbook.texi:2851
 #, no-wrap
 msgid ""
 "mkdir -p \"$GUIX_EXTRA_PROFILES/my-project\"\n"
@@ -4490,44 +4524,44 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2838
+#: guix-git/doc/guix-cookbook.texi:2855
 msgid "It's safe to delete the Guix channel profile you've just installed with the channel specification, the project profile does not depend on it."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2845
+#: guix-git/doc/guix-cookbook.texi:2862
 msgid "Guix provides multiple tools to manage environment.  This chapter demonstrate such utilities."
 msgstr ""
 
 #. type: section
-#: guix-git/doc/guix-cookbook.texi:2848 guix-git/doc/guix-cookbook.texi:2850
-#: guix-git/doc/guix-cookbook.texi:2851
+#: guix-git/doc/guix-cookbook.texi:2865 guix-git/doc/guix-cookbook.texi:2867
+#: guix-git/doc/guix-cookbook.texi:2868
 #, no-wrap
 msgid "Guix environment via direnv"
 msgstr ""
 
 #. type: menuentry
-#: guix-git/doc/guix-cookbook.texi:2848
+#: guix-git/doc/guix-cookbook.texi:2865
 msgid "Setup Guix environment with direnv"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2856
+#: guix-git/doc/guix-cookbook.texi:2873
 msgid "Guix provides a @samp{direnv} package, which could extend shell after directory change.  This tool could be used to prepare a pure Guix environment."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2862
+#: guix-git/doc/guix-cookbook.texi:2879
 msgid "The following example provides a shell function for @file{~/.direnvrc} file, which could be used from Guix Git repository in @file{~/src/guix/.envrc} file to setup a build environment similar to described in @pxref{Building from Git,,, guix, GNU Guix Reference Manual}."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2864
+#: guix-git/doc/guix-cookbook.texi:2881
 msgid "Create a @file{~/.direnvrc} with a Bash code:"
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2882
+#: guix-git/doc/guix-cookbook.texi:2899
 #, no-wrap
 msgid ""
 "# Thanks <https://github.com/direnv/direnv/issues/73#issuecomment-152284914>\n"
@@ -4550,7 +4584,7 @@ msgid ""
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2887
+#: guix-git/doc/guix-cookbook.texi:2904
 #, no-wrap
 msgid ""
 "use_guix()\n"
@@ -4561,7 +4595,7 @@ msgid ""
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2890
+#: guix-git/doc/guix-cookbook.texi:2907
 #, no-wrap
 msgid ""
 "    # Unset 'GUIX_PACKAGE_PATH'.\n"
@@ -4570,7 +4604,7 @@ msgid ""
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2899
+#: guix-git/doc/guix-cookbook.texi:2916
 #, no-wrap
 msgid ""
 "    # Recreate a garbage collector root.\n"
@@ -4585,7 +4619,7 @@ msgid ""
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2914
+#: guix-git/doc/guix-cookbook.texi:2931
 #, no-wrap
 msgid ""
 "    # Miscellaneous packages.\n"
@@ -4606,7 +4640,7 @@ msgid ""
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2917
+#: guix-git/doc/guix-cookbook.texi:2934
 #, no-wrap
 msgid ""
 "    # Environment packages.\n"
@@ -4615,7 +4649,7 @@ msgid ""
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2920
+#: guix-git/doc/guix-cookbook.texi:2937
 #, no-wrap
 msgid ""
 "    # Thanks <https://lists.gnu.org/archive/html/guix-devel/2016-09/msg00859.html>\n"
@@ -4624,7 +4658,7 @@ msgid ""
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2927
+#: guix-git/doc/guix-cookbook.texi:2944
 #, no-wrap
 msgid ""
 "    # Predefine configure flags.\n"
@@ -4637,7 +4671,7 @@ msgid ""
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2938
+#: guix-git/doc/guix-cookbook.texi:2955
 #, no-wrap
 msgid ""
 "    # Run make and optionally build something.\n"
@@ -4654,7 +4688,7 @@ msgid ""
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2945
+#: guix-git/doc/guix-cookbook.texi:2962
 #, no-wrap
 msgid ""
 "    # Predefine push Git command.\n"
@@ -4667,7 +4701,7 @@ msgid ""
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2948
+#: guix-git/doc/guix-cookbook.texi:2965
 #, no-wrap
 msgid ""
 "    clear                        # Clean up the screen.\n"
@@ -4676,7 +4710,7 @@ msgid ""
 msgstr ""
 
 #. type: example
-#: guix-git/doc/guix-cookbook.texi:2956
+#: guix-git/doc/guix-cookbook.texi:2973
 #, no-wrap
 msgid ""
 "    # Show commands help.\n"
@@ -4689,43 +4723,43 @@ msgid ""
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2960
+#: guix-git/doc/guix-cookbook.texi:2977
 msgid "Every project containing @file{.envrc} with a string @code{use guix} will have predefined environment variables and procedures."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2962
+#: guix-git/doc/guix-cookbook.texi:2979
 msgid "Run @command{direnv allow} to setup the environment for the first time."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2974
+#: guix-git/doc/guix-cookbook.texi:2991
 msgid "Guix is based on the @uref{https://nixos.org/nix/, Nix package manager}, which was designed and implemented by Eelco Dolstra, with contributions from other people (see the @file{nix/AUTHORS} file in Guix.)  Nix pioneered functional package management, and promoted unprecedented features, such as transactional package upgrades and rollbacks, per-user profiles, and referentially transparent build processes.  Without this work, Guix would not exist."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2977
+#: guix-git/doc/guix-cookbook.texi:2994
 msgid "The Nix-based software distributions, Nixpkgs and NixOS, have also been an inspiration for Guix."
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2983
+#: guix-git/doc/guix-cookbook.texi:3000
 msgid "GNU@tie{}Guix itself is a collective work with contributions from a number of people.  See the @file{AUTHORS} file in Guix for more information on these fine people.  The @file{THANKS} file lists people who have helped by reporting bugs, taking care of the infrastructure, providing artwork and themes, making suggestions, and more---thank you!"
 msgstr ""
 
 #. type: Plain text
-#: guix-git/doc/guix-cookbook.texi:2986
+#: guix-git/doc/guix-cookbook.texi:3003
 msgid "This document includes adapted sections from articles that have previously been published on the Guix blog at @uref{https://guix.gnu.org/blog}."
 msgstr ""
 
 #. type: cindex
-#: guix-git/doc/guix-cookbook.texi:2991
+#: guix-git/doc/guix-cookbook.texi:3008
 #, no-wrap
 msgid "license, GNU Free Documentation License"
 msgstr ""
 
 #. type: include
-#: guix-git/doc/guix-cookbook.texi:2992
+#: guix-git/doc/guix-cookbook.texi:3009
 #, no-wrap
 msgid "fdl-1.3.texi"
 msgstr ""