how to wget the latest MPS patch version in a travis build?

For building the `DSLFoundry/mps-langvis` plug-in on GitHub we have a travis script that contains the line

wget https://download-cf.jetbrains.com/mps/2019.3/MPS-2019.3.zip

 

I was expecting that this would give me the latest patch version of 2019.3 (at the moment this is 2019.3.4) but I found that it gets the earliest release (build 193.1166 from Dec 23). What is the proper way to wget the latest patch version of a given major.minor version? 

2 comments
Comment actions Permalink

https://download-cf.jetbrains.com/mps/2019.3/MPS-2019.3.4.zip worked for me. I don't think there's any automatically redirecting URL.

0
Comment actions Permalink

Right, the 2019.3.4.zip works for me too. Too bad for not having a automatic redirect, but this is not blocking. 

I was just wondering if there should have been a redirect that somehow was broken.

0

Please sign in to leave a comment.