From dda340cbc6bfe38d6071b54512ea5c28ea9d5503 Mon Sep 17 00:00:00 2001 From: Orestis Floros Date: Wed, 14 Mar 2018 14:43:12 +0200 Subject: [PATCH] dump-asy.pl: Add --save option --- contrib/dump-asy.pl | 21 ++++++++++++++++++++- 1 file changed, 20 insertions(+), 1 deletion(-) diff --git a/contrib/dump-asy.pl b/contrib/dump-asy.pl index 866cf8e0..c183db33 100755 --- a/contrib/dump-asy.pl +++ b/contrib/dump-asy.pl @@ -15,10 +15,12 @@ use IPC::Cmd qw[can_run]; my %options = ( gv => 1, + save => undef, help => 0, ); my $result = GetOptions( "gv!" => \$options{gv}, + "save=s" => \$options{save}, "help|?" => \$options{help}, ); @@ -91,10 +93,18 @@ my $rep = "$tmp"; $rep =~ s/asy$/eps/; if ($options{gv}) { my $tmp_dir = dirname($rep); + $options{save} = File::Spec->rel2abs($options{save}) if $options{save}; chdir($tmp_dir); +} else { + $rep = basename($rep); # Output in current dir. } system("asy $tmp"); # Create the .eps file. -system("gv --scale=-1000 --noresize --widgetless $rep && rm $rep") if $options{gv}; +system("gv --scale=-1000 --noresize --widgetless $rep") if $options{gv}; +if ($options{save}) { + system("mv $rep ${options{save}}"); +} elsif ($options{gv}) { + system("rm $rep"); +} system("rm $tmp"); __END__ @@ -117,6 +127,10 @@ Render the tree starting from the node with the specified name, run: ./dump-asy.pl 'name' +Render the entire tree, save in file 'file.eps' and show using gv, run: + + ./dump-asy.pl --save file.eps + =head1 OPTIONS =over 8 @@ -128,4 +142,9 @@ Render the tree starting from the node with the specified name, run: Enable or disable showing the result through gv. If disabled, an .eps file will be saved in the current working directory. Enabled by default. +=item B<--save> + +Save result using the specified file-name. If omitted, no file will be saved +when using '--gv' or a random name will be used when using '--no-gv'. + =back -- 2.39.5