#!/bin/sh

exec sh <(curl --silent https://ftp.eso.org/pub/elt/repos/GetPlatform.sh) -- 26.14
