#!/bin/bash
set -e
cd /opt/
## Download IntelliJ IDEA Community from the JetBrain servers
wget -c https://download-cf.jetbrains.com/idea/ideaIC-2017.2.4.tar.gz
##