guix-devel/guix/scripts
宋文武 5efa0e4d4f
guix: substitute: Report the last progress in the child process.
Fixes <https://bugs.gnu.org/28756>.

* guix/utils.scm (filtered-port): Close the 'input' port for the current
process, and close it upon exit in the child process.
* guix/scripts/substitute.scm (progress-substitution): Display "\n\n" after
the reporter has finished.
2017-10-17 19:00:35 +08:00
..
container
import import: Add JSON importer. 2017-09-28 13:10:11 +02:00
system guix system: Add 'search' command. 2017-09-16 17:47:46 +02:00
archive.scm scripts: Remove 'max-silent-time' from the default options. 2017-09-01 10:29:39 +02:00
authenticate.scm
build.scm guix: Revert accidentally committed changes. 2017-09-28 16:34:12 +02:00
challenge.scm
container.scm
copy.scm scripts: Remove 'max-silent-time' from the default options. 2017-09-01 10:29:39 +02:00
download.scm guix download: Honor mirrors when using '-o'. 2017-09-14 23:34:35 +02:00
edit.scm
environment.scm scripts: Remove 'max-silent-time' from the default options. 2017-09-01 10:29:39 +02:00
gc.scm
graph.scm
hash.scm
import.scm import: Add JSON importer. 2017-09-28 13:10:11 +02:00
lint.scm lint: 'home-page' checker reports permanent redirects. 2017-10-12 23:47:48 +02:00
offload.scm offload: Reduce the number of calls to 'machine-load'. 2017-10-12 17:51:41 +02:00
pack.scm scripts: Remove 'max-silent-time' from the default options. 2017-09-01 10:29:39 +02:00
package.scm guix package: '--upgrade' no longer reverses package order. 2017-10-07 17:08:32 +02:00
perform-download.scm
publish.scm publish: Cache uncompressed nars as well. 2017-10-05 23:05:06 +02:00
pull.scm pull: Add GUIX_PULL_URL environment variable. 2017-10-07 23:01:52 +02:00
refresh.scm guix: lint: Add checker for new upstream versions. 2017-10-09 14:05:17 +03:00
size.scm size: Default to '--sort=self'. 2017-09-07 13:57:42 +02:00
substitute.scm guix: substitute: Report the last progress in the child process. 2017-10-17 19:00:35 +08:00
system.scm guix system: Error out when passed a wrong file system UUID/label. 2017-10-05 12:09:17 +02:00
weather.scm