docker-library
/
docs
mirror of https://github.com/docker-library/docs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Add "quit" choice to push.pl

This commit is contained in:
Tianon Gravi 2015-04-21 10:44:56 -06:00
parent 1cf7e588e8
commit 0d21a376fe
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
push.pl
View File

@ -108,10 +108,15 @@ sub prompt_for_edit {
my $reply = $term->get_reply( my $reply = $term->get_reply(
prompt => 'Apply changes?', prompt => 'Apply changes?',
choices => [ qw( yes vimdiff no ) ], choices => [ qw( yes vimdiff no quit ) ],
default => 'yes', default => 'yes',
); );
if ($reply eq 'quit') {
say 'quitting, as requested';
exit;
}
if ($reply eq 'yes') { if ($reply eq 'yes') {
return $proposedText; return $proposedText;
} }