Dê uma olhada no wget .
Ele vem pré-instalado nos mais sistemas operacionais Linux.
Funciona simplesmente como digitar wget <the-url-to-download> .
No seu caso, você provavelmente vai querer fazer algo ao longo destas linhas:
wget https://www.example.com/files/coreinstall.sh -O new-filename.sh
chmod +x new-filename.sh
./new-filename.sh
Cuidado para não digitar a URL incorretamente, porque o script acima fará o download e executará o que estiver nesse URL.
Como alternativa, use o curl.
Se wget não estiver instalado e curl estiver disponível, use-o em vez de wget com -o (minúscula) em vez da opção -O :
curl https://www.example.com/files/coreinstall.sh -o new-filename.sh