#!/bin/bash

set -e

if [ "$1" = "configure" ] ; then
    #update dconf database, as we droped new settings
    dconf update
fi

exit 0