guix-devel/guix/scripts
Ludovic Courtès 4902d3c4e0
pull: Honor the standard build options.
Reported by Niall Dooley <dooleyn@gmail.com>
in <https://lists.gnu.org/archive/html/help-guix/2017-05/msg00038.html>.

* guix/scripts/pull.scm (%options): Add --dry-run and all of
%STANDARD-BUILD-OPTIONS.
(show-help): Add call to 'show-build-options-help'.
(%default-options): Add 'system', 'substitutes?', 'graft?',
'max-silent-time', and 'verbosity'.
(guix-pull)[parse-options]: Remove.
Use 'parse-command-line' instead.  Honor --dry-run.
2017-05-09 18:08:24 +02:00
..
container ui: Rename '_' to 'G_'. 2017-05-03 16:16:17 +02:00
import ui: Rename '_' to 'G_'. 2017-05-03 16:16:17 +02:00
archive.scm ui: Rename '_' to 'G_'. 2017-05-03 16:16:17 +02:00
authenticate.scm ui: Rename '_' to 'G_'. 2017-05-03 16:16:17 +02:00
build.scm ui: Rename '_' to 'G_'. 2017-05-03 16:16:17 +02:00
challenge.scm ui: Rename '_' to 'G_'. 2017-05-03 16:16:17 +02:00
container.scm ui: Rename '_' to 'G_'. 2017-05-03 16:16:17 +02:00
copy.scm ui: Rename '_' to 'G_'. 2017-05-03 16:16:17 +02:00
download.scm ui: Rename '_' to 'G_'. 2017-05-03 16:16:17 +02:00
edit.scm ui: Rename '_' to 'G_'. 2017-05-03 16:16:17 +02:00
environment.scm environment: Correct typo. 2017-05-04 12:52:23 +02:00
gc.scm ui: Rename '_' to 'G_'. 2017-05-03 16:16:17 +02:00
graph.scm ui: Rename '_' to 'G_'. 2017-05-03 16:16:17 +02:00
hash.scm ui: Rename '_' to 'G_'. 2017-05-03 16:16:17 +02:00
import.scm ui: Rename '_' to 'G_'. 2017-05-03 16:16:17 +02:00
lint.scm ui: Rename '_' to 'G_'. 2017-05-03 16:16:17 +02:00
offload.scm ui: Rename '_' to 'G_'. 2017-05-03 16:16:17 +02:00
pack.scm ui: Rename '_' to 'G_'. 2017-05-03 16:16:17 +02:00
package.scm ui: Rename '_' to 'G_'. 2017-05-03 16:16:17 +02:00
perform-download.scm ui: Rename '_' to 'G_'. 2017-05-03 16:16:17 +02:00
publish.scm ui: Rename '_' to 'G_'. 2017-05-03 16:16:17 +02:00
pull.scm pull: Honor the standard build options. 2017-05-09 18:08:24 +02:00
refresh.scm refresh: Use (guix discovery). 2017-05-03 23:50:15 +02:00
size.scm ui: Rename '_' to 'G_'. 2017-05-03 16:16:17 +02:00
substitute.scm ui: Rename '_' to 'G_'. 2017-05-03 16:16:17 +02:00
system.scm scripts: Remove profile-grub-entries. 2017-05-05 15:03:48 +02:00