GPX ファイルを単純化する

Google maps に GPX ファイルをインポートしたかったのだけど，ファイルサイズ 5MB までしか対応してなかった……

ということで，GPX ファイルのポイントを間引いてサイズを小さくすることにした．Python の gpxpy というパッケージで簡単にできそう：

cat > gpx_simplify.py <<'EOS'
import gpxpy
import sys
import os
if len(sys.argv) < 2:
    print('python3 {0} gpx_file'.format(sys.argv[0]))
    sys.exit(0)
fname=sys.argv[1]
with open(fname) as f:
    g = gpxpy.parse(f)
    g.simplify()
    body,ext = os.path.splitext(fname)
    with open(body + '.smpl' + ext, 'w') as of:
        of.write(g.to_xml(prettyprint=False))
EOS

だがしかし，パラメータ指定してもっと間引かないと半年分でも 5MBに収まらんのがあるな……　領域指定で切り出したほうが良いかな．