build: Change default substitute server to "ci.guix.gnu.org".

* config-daemon.ac: Replace "ci.guix.info" with "ci.guix.gnu.org".
* doc/guix.texi (SUBSTITUTE-SERVER): Likewise.
* etc/substitutes/ci.guix.gnu.org.pub: New file.
* Makefile.am (dist_pkgdata_DATA): Add it.
* guix/scripts/build.scm (%default-log-urls): Update.
* guix/scripts/substitute.scm (%default-substitute-urls): Likewise.
* guix/store.scm (%default-substitute-urls): Likewise.
* guix/self.scm (miscellaneous-files): Add "ci.guix.gnu.org".

nls: Update translations for de and fr.

nls: Update manual translations for de, es, fr, and zh_CN.

vm-image: Add 'label' field.

* gnu/system/examples/vm-image.tmpl (label): New field.

gnu: u-boot-tools: Only run full test suite on x86_64.

* gnu/packages/bootloaders (u-boot-tools)[arguments]<#:phases>[check]:
Modify phase.
[check-x86]: New phase.
[patch]: New phase.

gnu: gexiv2: Skip failing test on 32-bit platforms.

* gnu/packages/gnome.scm (gexiv2)[arguments]: New field.

build: 'guix-manual.*.po' no longer depends on 'guix-manual.pot'.

That dependency was causing a failure when building from a fresh
checkout since commit d60225d5caabfb6409e3277c0512cd4c0fa63d72 because
'guix-manual.pot' was no longer around and there's no rule to make it.

This commit replaces the 'guix-manual.%.po' target by a phony target,
'doc-po-update-%', without any dependency.

* po/doc/local.mk ($(srcdir)/po/doc/guix-manual.%.po): Rename to...
(doc-po-update-%): ... this.  Remove dependencies.
Change how 'lang' is computed; compute $output and $input, and replace
occurrences of $@ and $< with those.
(doc-po-update): Adjust accordingly.

gnu: libplist: Run tests sequentially.

Fixes <https://bugs.gnu.org/35501>.
Reported by Brendan Tildesley <mail@brendan.scot>.

* gnu/packages/libusb.scm (libplist)[arguments]: New field.

gnu: Add i3lock.

* gnu/packages/wm.scm (i3lock): New public variable.

(cherry picked from commit b6afc350514ae5016adc6ca70f7be72aa3ecb2d2)

services: colord: Make public and searchable.

* gnu/services/desktop.scm (colord-service-type): Make public.
[description]: New field.

services: bluetooth: Make public and searchable.

Until now 'guix system search bluetooth' would turn up nothing.

* gnu/services/desktop.scm (bluetooth-service-type)
(bluetooth-configuration): Make public.
(bluetooth-service-type)[description]: New field.

Revert "maint: 'release' clears gettext-induced changes in doc/."

This reverts commit 24963c13075b07db0c4e6005df9cde3bb51b2e32.

This change had become unnecessary since
9ca5ff882e2ac4eaab02eb0fde545bd784af478b.

nls: Remove 'guix-manual.pot'.

This file was inadvertently committed in commit
39764ef893b7b65a8ce55e13746fed8fd0bad6e0.

* po/doc/guix-manual.pot: Remove.

gnu: Rename some games to match upstream project name.

* gnu/packages/games.scm (armagetronad):
(cataclysm-dda):
(abbaye):
(wesnoth):
(wesnoth-server):
(starfighter):
(kiki):
(fillets-ng):
(crawl):
(crawl-tiles):
(tome4):
(btanks):
(battle-tanks):
(edgar): Use these as the package definition.
(armagetron-advanced):
(cataclysm-dark-days-ahead):
(l-abbaye-des-morts):
(the-battle-for-wesnoth):
(the-battle-for-wesnoth-server):
(project-starfighter):
(kiki-the-nano-bot):
(fish-fillets-ng):
(dungeon-crawl-stone-soup):
(dungeon-crawl-stone-soup-tiles):
(tales-of-maj-eyal):
(the-legend-of-edgar): Turn these into obsolete aliases.

This reverts renames made by the following commits:
f95e33a7ad9afe3f5087b4d8c80731d731b08839
b1aee9fce2d4177dc0eb41c8509d50a131a19655
f6a21d61deecc37f8c900f2d2acf01475b917d10
24a67aef2ae0f40f1b4af235f5fc054881dc4db1
36a0b5b48c8f14e2ac5707dd6dfea99ee2304873
8b6e2bc15f0cbbe325f45fff9a7b5d3df143ca53
6639295f2f24ca8334d6b4d9d9cb63bd13388537
184f5c8db199adbc91b4b108c1bf89e3727f0bce
ecdb1348ad9992f7d98ea5b1b5b6bc0bafc9b79c
375cb94130b222535ad7c7e0fa0d212483407351
c91ed484d0b66d5639ba01f9ba301ff762d9170d
973bd8a62c13bc5b2ca08585c367589d8c7197fe
df42e0f9c9e6a85803d2709d195a8eb29ec7ee5f

build: 'assert-no-store-file-names' no longer depends on ChangeLog.

This reverts commit dfd248648f59af374bf2c74403f0e561464f6afe,
which effectively disabled 'ChangeLog' generation.

* Makefile.am (dist-hook): Depend on 'gen-ChangeLog', not
'$(distdir)/ChangeLog'.
(gen-ChangeLog): Remove dependency.  Use "ChangeLog.tmp" as the
temporary file name.
(assert-no-store-file-names): Remove dependency.  Exclude ChangeLog*.

gnu: i3-wm: Use absolute paths in session files.

* gnu/packages/wm.scm (i3-wm)[arguments]: Add a phase to patch the
session '.desktop' files to use the absolute paths of the 'i3' and
'i3-with-shmlog' binaries.

gnu: awesome: Use absolute paths in session file.

* gnu/packages/wm.scm (awesome)[arguments]: Add a phase to patch the
session '.desktop' file to use the absolute path of the 'awesome'
binary.

gnu: gdm: Avoid selecting the placeholder session.

This fixes <https://bugs.gnu.org/35484>.

* gnu/packages/gnome.scm (gdm)[arguments]: Modify the pre-configure phase to
patch GDM to only select the placeholder session if there are no others.

maint: Mark 'doc-pot-update' and 'doc-po-update' as phony.

* po/doc/local.mk (doc-pot-update, doc-pot-update): Mark as phony.

tests: Adjust wildcard when testing OS examples.

* tests/guix-system.sh: Use *.tmpl instead of *, to avoid catching
backup files, etc.

processes: Gracefully handle daemons without clients.

Fixes <https://bugs.gnu.org/34716>.
Reported by Mark H Weaver <mhw@netris.org>.

The problem could be reproduced by running, on one hand:

  sh -c 'exec -a guix-daemon sleep 777'

and on the other hand:

  guix processes

If there is no process with PID 777, 'guix processes' would barf as it
stumbles upon a <daemon-session> record whose client is #f.

* guix/scripts/processes.scm (daemon-sessions)[child-process->session]:
New procedure, with lambda formerly passed to 'map'.  Handle #f returns
from 'lookup-process'.
Call 'child-process->session' within 'filter-map', not just 'map'.

processes: 'process-open-files' ignores disappeared /proc/PID/fd entries.

Previously, 'process-open-files' would throw ENOENT if an entry had
vanished after the 'scandir' call and before the 'readlink' call.

* guix/scripts/processes.scm (process-open-files): Catch ENOENT errors
from 'readlink'.

gnu: u-boot: Update to 2019.04.

* gnu/packages/bootloaders.scm (u-boot): Update to 2019.04.
[source]: Add patch.
(u-boot-novena): Update dynamic patch to handle config key rename.
(u-boot-am335x-evm): New variable.
(u-boot-am335x-boneblack): Build with modified am335x-evm config.
(u-boot-novena): Fix typo in description.
* gnu/bootloader/u-boot.scm (u-boot-beaglebone-black-bootloader): Use
u-boot-am335x-boneblack.
* gnu/packages/patches/u-boot-fix-mkimage-header-verification.patch: New file.
* gnu/local.mk (dist_patch_DATA): Update accordingly.

Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>

guix package: Add 'guix search' alias.

* guix/scripts/search.scm: New file.
* Makefile.am (MODULES): Add it.
* po/guix/POTFILES.in: Add it.
* tests/guix-package-aliases.sh: Add test.
* doc/guix.texi (Invoking guix package): Document it and use it in a
couple of examples.

file-systems: Support the 'no-atime' flag.

* guix/build/syscalls.scm (MS_NOATIME): New variable.
* gnu/build/file-systems.scm (mount-flags->bit-mask): Support it.
* doc/guix.texi (File Systems): Document it and add cross-references to
the relevant documentation.

Co-authored-by: Ludovic Courtès <ludo@gnu.org>

Update NEWS.

doc: Remove traces of "Guix System Distribution".

* doc/guix.texi (Invoking guix package)
(Official Substitute Server, System Configuration): Replace "the Guix
System Distribution" by "Guix System".

doc: Add 'SUBSTITUTE-URL' variable.

* doc/guix.texi (SUBSTITUTE-SERVER): New variable.
(Invoking guix weather): Use it.

guix package: Add 'install', 'remove', and 'upgrade' aliases.

* guix/scripts/install.scm, guix/scripts/remove.scm,
guix/scripts/upgrade.scm, tests/guix-package-aliases.sh: New files.
* Makefile.am (MODULES, SH_TESTS): Add them.
* po/guix/POTFILES.in: Add them.
* guix/scripts/package.scm (guix-package): Split with...
(guix-package*): ... this.  New procedure.
* doc/guix.texi (Invoking guix package): Document them.
(Binary Installation, Application Setup, Package Management)
(Packages with Multiple Outputs, Package Modules)
(X.509 Certificates, Installing Debugging Files): Use 'guix install' in
simple examples.
* etc/completion/bash/guix (_guix_complete): Handle "install", "remove",
and "upgrade".

gnu: font-public-sans: Adjust synopsis and description.

* gnu/packages/fonts.scm (font-public-sans)[synopsis, description]:
Adjust.

gnu: Add font-public-sans.

* gnu/packages/fonts.scm (font-public-sans): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

installer: Fix typo in docstring.

* gnu/installer/newt/wifi.scm (draw-scanning-page): Fix typo in docstring.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: diffoscope: Update to 114.

* gnu/packages/package-management (diffoscope): Update to 114.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

services: slim: Honor the value of slim from slim-configuration.

Previously setting the slim field in slim-configuration would have no effect.

* gnu/services/xorg.scm (slim-shepherd-service): Remove unused let binding for
  slim.  Use (slim-configuration-slim config) instead of the default slim.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: Fix missing bison package in (gnu packages algebra).

This fixes a regression introduced in
6d3896b9fc115b03046860a9aa12966926bccf53.

* gnu/packages/algebra.scm: Use the (gnu packages bison) module.

gnu: direnv: Change to the go-build-system.

The go-build-system is slightly more appropriate, and switching resolves an
issue with combining the 'unpack phase from the gnu-build-system, and the
'setup-go-environment from the go-build-system. With both of those phases
creating a directory, the first-subdirectory call at the end of the 'unpack
phase can return different values depending on the filesystem ordering.

* gnu/packages/shellutils.scm (direnv)[source]: Use the git repository, as
this works better with the go-build-system.
[build-system]: Change to the go-build-system.
[arguments]: Adjust for the go-build-system.
[native-inputs]: Remove go.

installer: Tell the user where the config file is.

* gnu/installer/newt/final.scm (strip-prefix): New procedure.
(run-config-display-page): Add a sentence showing where the config file
is stored.

installer: Fix handling of user password mismatches.

Previously, if we had a password mismatch, the 'password' field would
end up containing a <user> record instead of the actual password.

* gnu/installer/newt/user.scm (confirm-password): Make TRY-AGAIN
optional and adjust docstring.
(run-user-add-page): Move 'confirm-password' call one level higher.

installer: User accounts can now have a "real name."

* gnu/installer/newt/user.scm (run-user-add-page): Add #:real-name.  Add
a label and entry for the real name and initialize the 'real-name' field
of the <user> record.
* gnu/installer/final.scm (create-user-database): Set the 'comment'
field of the <user-account> record.

installer: User can have a "real name".

* gnu/installer/user.scm (<user>)[real-name]: New field.
(users->configuration)[use->sexp]: Turn it into a 'comment' field.

installer: Improve layout of the partitioning page.

Previously the "listbox" would be unnecessarily high, leaving too little
space for the German translation of the text above.

* gnu/installer/newt/partition.scm (run-disk-page): Increase
 #:info-textbox-width and pass #:listbox-height.

installer: Add 'nss-certs' to the networking services.

Fixes <https://bugs.gnu.org/35469>.
Reported by Florian Pelz <pelzflorian@pelzflorian.de>.

* gnu/installer/services.scm (%system-services): Add service for
'nss-certs', with 'recommended?' set to #t.

installer: Recommended services are pre-selected.

* gnu/installer/services.scm (<system-service>)[recommended?]: New
field.
* gnu/installer/newt/services.scm (run-desktop-environments-cbt-page):
Pass #:selection to 'run-checkbox-tree-page', computed from the
'recommended?' field of each service.
(run-networking-cbt-page): Likewise.

installer: Add #:selection parameter to 'run-checkbox-tree-page'.

* gnu/installer/newt/page.scm (%none-selected): New variable.
(run-checkbox-tree-page): Add #:selection.
[fill-checkbox-tree]: Honor it.

doc: Duplicate recommendation about 'guix-install.sh'.

Since our web site points to "Binary Installation", it's best to have
that note there.

* doc/guix.texi (Binary Installation): Add note about guix-install.sh.

Update NEWS.

vm-image: Add 'nss-certs' to the global package set.

* gnu/system/examples/vm-image.tmpl (packages): Add NSS-CERTS.

describe: Provide a hint when origin detection fails.

* guix/scripts/describe.scm (display-checkout-info): Add call to
'display-hint' in the error case.

gnu: Fix typo.

* gnu/packages/algebra.scm (giac-xcas): Fix typo.

gnu: giac-xcas: Rename to "giac" to match upstream name.

* gnu/packages/algebra.scm (giac): New variable.
(giac-xcas): Deprecate.

gnu: giac-xcas: Add inputs.

* gnu/packages/algebra.scm (giac-xcas)[inputs]: Add glpk, libsamplerate, bison
  and flex.

gnu: giac-xcas: Fix documentation.

* gnu/packages/algebra.scm (giac-xcas): Use a single output.  Fix licensing
  issues in documentation.

Xcas expects documentation to be located at a fixed location, not compatible
with a "doc" output.

gnu: linux-libre: Update to 5.0.10.

* gnu/packages/linux.scm (%linux-libre-version): Update to 5.0.10.
(%linux-libre-hash): Update hash.

gnu: linux-libre@4.19: Update to 4.19.37.

* gnu/packages/linux.scm (%linux-libre-4.19-version): Update to 4.19.37.
(%linux-libre-4.19-hash): Update hash.

gnu: linux-libre@4.14: Update to 4.14.114.

* gnu/packages/linux.scm (%linux-libre-4.14-version): Update to 4.14.114.
(%linux-libre-4.14-hash): Update hash.

gnu: linux-libre@4.9: Update to 4.9.171.

* gnu/packages/linux.scm (linux-libre-4.9): Update to 4.9.171.

gnu: linux-libre@4.4: Update to 4.4.179.

* gnu/packages/linux.scm (linux-libre-4.4): Update to 4.4.179.

gnu: Add cloud-utils.

* gnu/packages/admin.scm (cloud-utils): New variable.

gnu: Remove unused module reference.

* gnu/services/web.scm: Remove reference to (gnu packages guile).

gnu: hypre: Unconditionally return #T from build phases.

* gnu/packages/maths.scm (hypre)[arguments]: Use INVOKE and unconditionally
return #T from build phases.

gnu: jacal: Unconditionally return #T from configure phase.

* gnu/packages/maths.scm (jacal)[arguments]: Use INVOKE in configure phase.

gnu: z3: Unconditionally return #T from build phases.

* gnu/packages/maths.scm (z3)[arguments]: Use INVOKE in build phases.

gnu: atlas: Always return #T from build phases.

* gnu/packages/maths.scm (atlas)[arguments]: Always return #T from build
phases; use INVOKE.

gnu: make-blis: Always return #T from configure phase.

* gnu/packages/maths.scm (make-blis)[arguments]: Use INVOKE.

gnu: kdevplatform: Use INVOKE.

* gnu/packages/kde.scm (kdevplatform)[arguments]: Use INVOKE and return #T
unconditionally.

Merge branch 'staging'

gnu: gnome-shell: Add gdk-pixbuf+svg to inputs.

* gnu/packages/gnome.scm (gnome-shell)[inputs]: Add gdk-pixbuf+svg.

gnu: r-rhtslib: Fix build.

* gnu/packages/bioinformatics.scm (r-rhtslib)[arguments]: Add
"--no-staged-install" to configure flags.

gnu: r-ggbio: Fix build.

* gnu/packages/bioinformatics.scm (r-ggbio)[arguments]: Add build phase to
patch out typo.

gnu: r-sjplot: Update to 2.6.3.

* gnu/packages/cran.scm (r-sjplot): Update to 2.6.3.
[propagated-inputs]: Add r-bayestestr, r-insight, and r-performance.

gnu: Add r-performance.

* gnu/packages/cran.scm (r-performance): New variable.

gnu: Add r-bayestestr.

* gnu/packages/cran.scm (r-bayestestr): New variable.

installer: Add missing i18n in the partitioning pages.

* gnu/installer/newt/partition.scm (run-scheme-page): Add missing 'G_'
for ITEMS.
(run-partioning-page): Likewise.
(run-partition-page): Move misplaced call to 'G_'.

doc: Remove outdated paragraph in "Binary Installation".

This is a followup to e9926f80c6553fde50ce1fcfd38d6370f841efd2.

* doc/guix.texi (Binary Installation): Remove paragraph about not
removing 'guix' from root's profile.

gnu: guix: Update to 0c329bf.

* gnu/packages/package-management.scm (guix): Update to 0c329bf.

gnu: ocaml-qtest: Update to 2.9.

* gnu/packages/ocaml.scm (ocaml-qtest): Update to 2.9.
[source]: Use git-fetch.
[build-system]: Use dune-build-system.

gnu: ocaml-ezjsonm: Update to 1.1.0.

* gnu/packages/ocaml.scm (ocaml-ezjsonm): Update to 1.1.0.

gnu: ocaml-re: Update to 1.9.0.

* gnu/packages/ocaml.scm (ocaml-re): Update to 1.9.0.
(ocaml-uri): Fix build.

gnu: ocaml-csv: Update to 2.2.

* gnu/packages/ocaml.scm (ocaml-csv): Update to 2.2.
[source]: Use git-fetch.
[build-system]: Use dune-build-system.

gnu: ocaml-spawn: Update to 0.13.0.

* gnu/packages/ocaml.scm (ocaml-spawn): Update to 0.13.0.

self: Rebuild translated manuals.

* guix/self.scm (info-manual): Run po4a and related commands to generate
translated texi files before building translated manuals.
* guix/build/po.scm: New file.
* Makefile.am (MODULES_NOT_COMPILED): Add it.

tests: Adjust accounts test to shell-as-config change.

This is a followup to 504a0fc636ec591e65b4a229a37e522e425d8a0c.

* tests/accounts.scm ("allocate-passwd with previous state"): Change
expected 'shell' for "alice" to "/bin/sh".

gnu: knot: Fix typos.

* gnu/services/dns.scm: Fix typos.

gnu: bubblewrap: Fix Texinfo markup in description.

Fixes a regression introduced in
7ecd1761a236a2256e420032d561aa6c372d95a8.

* gnu/packages/virtualization.scm (bubblewrap): Fix typo.

vm-image: Allow for password-less sudo.

* gnu/system/examples/vm-image.tmpl (sudoers-file): New field.

doc: Suggest 1G of RAM for the VM image.

* doc/guix.texi (Running Guix in a VM): Suggest -m 1024.

vm-image: Mention 'info guix' in the MOTD.

* gnu/system/examples/vm-image.tmpl (vm-image-motd): Mention 'info guix'.

vm-image: Add a font to the global profile.

* gnu/system/examples/vm-image.tmpl (packages): Add FONT-BITSTREAM-VERA,
for use by xfce-terminal, IceCat, etc.

doc: Update bit about SSH in the VM.

* doc/guix.texi (Running Guix in a VM): Remove mentions of 'lsh-server';
mention 'openssh-service-type' and add a cross-reference.
* gnu/system/examples/vm-image.tmpl (services): Add a commented-out line
for 'openssh-service-type'.

doc: Recommend virtio-blk to access the VM image.

* doc/guix.texi (Running Guix in a VM): Recommend virtio-blk to access
the image.

maint: Pass '--image-size=30G' to 'guix system vm-image'.

* Makefile.am (GUIX_SYSTEM_VM_IMAGE_FLAGS): New variable.
(release): Use it.

gnu: knot: Add configuration fields.

* gnu/services/dns.scm (knot-zone-configuration)[zonefile-load]
[journal-content, max-journal-usage, max-journal-depth, max-zone-size]:
New fields.
(knot-zone-config): Serialize them.
* doc/guix.texi (DNS Services): Document them.

gnu: gajim: Update to 1.1.3.

* gnu/packages/messaging.scm (gajim): Update to 1.1.3.

gnu: python-nbxmpp: Update to 0.6.10.

* gnu/packages/messaging.scm (python-nbxmpp): Update to 0.6.10.

gnu: r-quadprog: Update to 1.5-6.

* gnu/packages/maths.scm (r-quadprog): Update to 1.5-6.

gnu: r-caret: Update to 6.0-84.

* gnu/packages/statistics.scm (r-caret): Update to 6.0-84.

gnu: r-fpc: Update to 2.1-11.2.

* gnu/packages/statistics.scm (r-fpc): Update to 2.1-11.2.

gnu: r-rngtools: Update to 1.3.1.1.

* gnu/packages/statistics.scm (r-rngtools): Update to 1.3.1.1.

gnu: r-mass: Update to 7.3-51.4.

* gnu/packages/statistics.scm (r-mass): Update to 7.3-51.4.

gnu: r-boot: Update to 1.3-22.

* gnu/packages/statistics.scm (r-boot): Update to 1.3-22.