Do cyberchef install_tool style.

bin/cyberchef

@@ -1,3 +1,11 @@
 #!/bin/bash
 
-exec xdg-open $(dirname $0)/cyberchef.html
+set -u
+
+CHEF_FILE=${HOME}/tools/cyberchef/cyberchef.html
+
+if [ ! -f ${CHEF_FILE} ] ; then
+  ${HOME}/bin/install_tool cyberchef
+fi
+
+exec xdg-open ${CHEF_FILE}

bin/install_tool

@@ -31,10 +31,16 @@ if [ $# -ne 1 ] ; then
 fi
 TOOL=${1}
 
+function die {
+  echo $* >/dev/stderr
+  return 1
+}
+
 function install_pkgs {
   if [ ${PACKAGES} -eq 0 ] ; then
     return 0
   fi
+  # TODO: check if packages are already installed
   if [ `id -u` -ne "0" ] ; then
     sudo apt-get -y install $* || (
       echo -n "Unable to install packages, please ensure these " >/dev/stderr
@@ -50,6 +56,7 @@ function download {
   SRC=${1}
   DST=${2}
   echo -n "Downloading ${SRC} to ${DST}..." >&2
+  # TODO: consider curl instead?
   wget --no-server-response -q -O ${DST} --content-disposition ${SRC}
   echo " done." >&2
 }
@@ -176,6 +183,11 @@ case ${TOOL} in
          /etc/udev/rules.d/77-mm-usb-device-blacklist.rules &&
          udevadm control --reload-rules"
     ;;
+  cyberchef)
+    mkdir -p ${DESTDIR}
+    src=$(python -c 'import urllib2; import json; print(filter(lambda x: x["name"]=="cyberchef.htm", json.load(urllib2.urlopen("https://api.github.com/repos/gchq/CyberChef/releases/latest"))["assets"])[0]["browser_download_url"])')
+    download ${src} ${DESTDIR}/cyberchef.html
+    ;;
   *)
     echo "Unknown tool: ${TOOL}" >/dev/stderr
     exit 1