#!/bin/sh
set -e
if [ "$1" = "remove" ]; then
su user -c 'gnome-shell-extension-tool --disable-extension=firewall@subgraph.com' || true
fi
#DEBHELPER#
