Skip to content

Instantly share code, notes, and snippets.

@ahupowerdns
Created November 23, 2019 22:42
Show Gist options
  • Save ahupowerdns/9f988c954446881ddf573053612cc25b to your computer and use it in GitHub Desktop.
Save ahupowerdns/9f988c954446881ddf573053612cc25b to your computer and use it in GitHub Desktop.
#!/bin/bash
for a in {1774..2080}
do for b in {0..6}
do
wget http://navigation-office.esa.int/products/gnss-products/$a/esr${a}$b.erp.Z
done
done
zcat esr20805.erp.Z | grep MJD > erp.csv
zcat *.Z | grep ^5 | sort -n >> erp.raw
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment