#!/bin/bash
pushd "${BASH_SOURCE%/*}" > /dev/null;
source "../../Config/GnomeExtensions/install.sh";
popd > /dev/null;