<div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif">Hi, after returning from the caving trip, I would like to finish this topic.</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">For me, adding another parameter to extend is a little bit problematic, I would prefer some new keyword.</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">What do you think about:</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">extend stop 8 7</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">S.</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, 8 Jul 2020 at 11:01, Tarquin Wilton-Jones via Therion <<a href="mailto:therion@speleo.sk">therion@speleo.sk</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">> How about...<br>
> extend ignore 8 7 [ (from) | to ]<br>
> ... since we already use the from and to keywords with respect to stations at each end of a survey leg?<br>
<br>
It's all good by me.<br>
<br>
The only reason I didn't suggest that keyword is that Therion is<br>
stepping through my loop backwards. So a user might assume that the "to"<br>
station is the "to" station from their data, when actually it is the<br>
"to" station from the "extend ignore" pair.<br>
<br>
But as long as people think it is intuitive enough, carry on :)<br>
_______________________________________________<br>
Therion mailing list<br>
<a href="mailto:Therion@speleo.sk" target="_blank">Therion@speleo.sk</a><br>
<a href="https://mailman.speleo.sk/listinfo/therion" rel="noreferrer" target="_blank">https://mailman.speleo.sk/listinfo/therion</a><br>
</blockquote></div>