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