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