Custom Query (95 matches)

brew tap survex/survex ​https://git.survex.com/homebrew-survex

Returns "Error: Tap survex/survex remote mismatch. ​git://git.survex.com/homebrew-survex != ​https://git.survex.com/homebrew-survex"

general notion: it should be possible to process subsurveys from a file. e.g. cavern --survey surveyname would only process that named survey (and anything it contains). This would allow processing of structured survex data as if it were split into multiple files, but allowing more freedom in how files are structured, is useful in identifying lengths of segments (especially when a survex file may not be processable on it's own due to disjoint segments)

This would also be potentially useful in implementing loop-closure tools.

If text has been typed into the find box and a new .3d file is opened, no stations are highlighted even after clicking the find button. Workaround is to delete and retype the final character in the find box.