Get random HipChat IP and modify /etc/hosts

fix-hipchat.sh

#!/usr/bin/env bash
set -e

rand() {
  printf $((  $1 *  RANDOM  / 32767   ))
}

rand_element () {
  local -a th=("$@")
  unset th[0]
  printf $'%s\n' "${th[$(($(rand "${#th[*]}")+1))]}"
}

echo "* Downloading list of HipChat IPs"

ips=($(curl --progress-bar https://www.hipchat.com/help/networking | grep -Eo "(([0-9]{1,3}\.){3}[0-9]{1,3})"))
selected_ip="$(rand_element ${ips[*]}) chat-main.hipchat.com"

echo "* Selected IP: $selected_ip"
echo "* Modify /etc/hosts"

sudo sed -i '' '/chat-main.hipchat/d' /etc/hosts
echo $selected_ip | sudo tee -a /etc/hosts > /dev/null

echo "* Done"