diff options
| author | Alex Kost <alezost@gmail.com> | 2015-12-11 14:01:35 +0300 |
|---|---|---|
| committer | Alex Kost <alezost@gmail.com> | 2016-01-02 17:25:35 +0300 |
| commit | 32950fc846e1193769a378a1c277eeb02e5a7f9c (patch) | |
| tree | 04d44f18264c930bf389f26f70ee4e3084ea88cf /doc/guix.texi | |
| parent | 494a62f215c9b6dc66737f6a46f4c538715a56ec (diff) | |
| download | guix-32950fc846e1193769a378a1c277eeb02e5a7f9c.tar.gz | |
emacs: Add Hydra interface.
* emacs/guix-utils.el (guix-hexify, guix-number->bool): New procedures. (guix-while-null): New macro. * emacs/guix-hydra.el: New file. * emacs/guix-hydra-build.el: New file. * emacs/guix-hydra-jobset.el: New file. * emacs.am (ELFILES): Add them. * doc/emacs.texi (Emacs Hydra): New node. (Emacs Interface): Add it. * doc/guix.texi (Top): Add it. (Substitutes): Mention Emacs interface.
Diffstat (limited to 'doc/guix.texi')
| -rw-r--r-- | doc/guix.texi | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index 7fac99ca27..f155fbe818 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -116,6 +116,7 @@ Emacs Interface * Build Log Mode: Emacs Build Log. Highlighting Guix build logs. * Completions: Emacs Completions. Completing @command{guix} shell command. * Development: Emacs Development. Tools for Guix developers. +* Hydra: Emacs Hydra. Interface for Guix build farm. Programming Interface @@ -1585,7 +1586,9 @@ also result from derivation builds, can be available as substitutes. The @code{hydra.gnu.org} server is a front-end to a build farm that builds packages from the GNU distribution continuously for some -architectures, and makes them available as substitutes. This is the +architectures, and makes them available as substitutes (@pxref{Emacs +Hydra}, for information on how to query the continuous integration +server). This is the default source of substitutes; it can be overridden by passing the @option{--substitute-urls} option either to @command{guix-daemon} (@pxref{daemon-substitute-urls,, @code{guix-daemon --substitute-urls}}) |