use python scripts for downloading GNSS data automatically
usage: python [pyfile] [YYYY] [MM] [DD] [type] [AC] [ndays]
ep: python download_batch.py 2020 01 01 nav 0 1
You need a .netrc file in you user home dir.Note that you need change the .netrc to _netrc in windows. And change the value of savedir (in download_batch.py) to you own path.