aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
diff options
context:
space:
mode:
authorPierre Neidhardt <mail@ambrevar.xyz>2021-07-12 13:09:13 +0200
committerPierre Neidhardt <mail@ambrevar.xyz>2021-07-12 13:09:13 +0200
commit23af19f964910548233537f4d6d47789c3abc8ab (patch)
treecad84ff523132c14a7d636851e64882ecc5f633d /gnu/packages/lean.scm
parenta1522f49f43af6dc548b6a158513c4e86dda7144 (diff)
downloadguix-23af19f964910548233537f4d6d47789c3abc8ab.tar.gz
guix-23af19f964910548233537f4d6d47789c3abc8ab.zip
gnu: Add spinneret.
* gnu/packages/lisp-xyz.scm (cl-spinneret, ecl-spinneret, sbcl-spinneret): New variables.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions
un-checkbox-tree-page): Likewise. (run-file-textbox-page): Add call to 'run-form-with-clients'. Handle 'exit-fd-ready'. * gnu/installer/newt/partition.scm (run-disk-page): Pass #:client-callback-procedure to 'run-listbox-selection-page'. * gnu/installer/newt/user.scm (run-user-page): Call 'run-form-with-clients'. Handle 'exit-fd-ready'. * gnu/installer/newt/welcome.scm (run-menu-page): Define 'choice->item' and use it. Call 'run-form-with-clients'. * gnu/installer/newt/final.scm (run-install-success-page) (run-install-failed-page): When (current-clients) is non-empty, call 'send-to-clients' without displaying a choice window. Ludovic Courtès 2020-02-22installer: Log important bits to syslog....* gnu/installer.scm (installer-program): Log crashes with 'syslog'. * gnu/installer/parted.scm (luks-format-and-open, luks-close) (mount-user-partitions, umount-user-partitions): Add 'syslog' calls. * gnu/installer/steps.scm (run-installer-steps): Log the running step with 'syslog'. * gnu/installer/utils.scm (run-shell-command): Add calls to 'syslog'. Ludovic Courtès