宋文武 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
..
2017-07-21 17:03:24 +02:00
2017-01-28 18:55:20 +01:00
2017-03-18 00:38:41 +01:00
2015-01-26 21:58:12 +01:00
2017-05-03 16:16:17 +02:00
2017-09-22 08:04:32 -04:00
2017-05-03 16:16:17 +02:00
2017-04-17 23:31:28 +02:00
2015-01-11 23:50:01 +01:00
2017-10-07 17:08:32 +02:00
2017-05-28 23:13:39 +02:00