| commit | 936eadf99aa1f9ac01331ed2c0abf8c14a3bfc19 | [log] [tgz] |
|---|---|---|
| author | Philipp Gühring <pg@futureware.at> | Mon Nov 15 09:08:39 2021 +0100 |
| committer | Philipp Gühring <pg@futureware.at> | Mon Nov 15 09:08:39 2021 +0100 |
| tree | 30cf7096865b88e10f24eb45d109ce3dd4b56045 | |
| parent | 1372e18b3e6f5207fe8517a9b0628cea0d564096 [diff] |
Adding support for another feedback format
diff --git a/scripts/feedback2mag.pl b/scripts/feedback2mag.pl index e351cf9..036e154 100755 --- a/scripts/feedback2mag.pl +++ b/scripts/feedback2mag.pl
@@ -23,5 +23,9 @@ { print "rect ".int($1/1)." ".int($2/1)." ".int($3/1)." ".int($4/1)."\n"; } + if(m/(\d+\.?\d*)um (\d+\.?\d*)um (\d+\.\d*)um (\d+\.?\d*)um/) + { + print "rect ".int($1*200)." ".int($2*200)." ".int($3*200)." ".int($4*200)."\n"; + } } print "<< end >>\n";