#!/bin/bash set -e for extension in 827475 821614 808959 821609 837436 821607 830681 841449 https-everywhere; do rm -rf /tmp/update-extension mkdir /tmp/update-extension (cd /tmp/update-extension wget -O extension.xpi https://addons.mozilla.org/firefox/downloads/latest/$extension/addon-$extension-latest.xpi unzip extension.xpi rm extension.xpi) if [ -f /tmp/update-extension/install.rdf ]; then ID=$(grep em:id /tmp/update-extension/install.rdf |sed 's/.*//; s/<.*//' |head -n1) fi if [ -f /tmp/update-extension/manifest.json ]; then ID=$(grep '"id":' /tmp/update-extension/manifest.json |head -n1|cut -d \" -f 4) fi rm -rf extensions/$ID mv /tmp/update-extension extensions/$ID done