You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
@withtypes we should discuss how we would deploy install scripts on our web platform.
Also since there will be two scripts one for macOS and Linux, another for Windows the same link should be used for both, e.g. based on HTTP header User-Agent we could serve one or the other.
The text was updated successfully, but these errors were encountered:
@withtypes we should discuss how we would deploy install scripts on our web platform.
Also since there will be two scripts one for macOS and Linux, another for Windows the same link should be used for both, e.g. based on HTTP header
User-Agent
we could serve one or the other.The text was updated successfully, but these errors were encountered: