More docm on make essentials.gpx - online edit of handbook/troggle/scriptscurrent.html

This commit is contained in:
Expo on server 2022-06-25 13:04:48 +01:00
parent 8c23ff6514
commit 546b62fc59

View File

@ -71,7 +71,13 @@ Get this from GitHub <a href="https://github.com/mshinwell/gps2survex">https://g
<h4 id="surface">make_svx.sh</h4>
<p>In :loser:/gpx/
<p>Regenerates the surface tracks as survex files from GPS .gpx files.
<p><span style="color:red">[to be documented]</span>
<p>Olly says [2022]: "you shouldn't need to mess around with undocumented scripts - since 2018, you can just do:
<var>survexport --entrances all.3d essentials.gpx</var>"
<p>But that does rather rely on <var>all.3d</var> being properly generated, which troggle does not currently do reliably and automatically.
<p>Documented, by <var>man survexport, survexport --help</var>,
and in the Survex manual on <a href="https://survex.com/docs/manual/survexport.htm">survexport</a>.
<p><span style="color:red">[to be documented]</span>
<h4 id="ocaml">convert_shx.ml</h4>
<p>Unusually, this is in the <var>:loser:</var> repository, in :loser:/fixedpoints/scripts/convert_shx/