#!/bin/sh
set -e

# overwrite menus and dconf to ensure menus and GNOME folders are up-to-date
mkdir -p /etc/dconf/db/site.d
cp /usr/lib/edubuntu-menu/00_edubuntu /etc/dconf/db/site.d

# ensure menu policies for non-admins are in place
cp /usr/lib/edubuntu-menu/edubuntu.sh /etc/profile.d

if which dconf > /dev/null; then
    dconf update
fi

# Tag to allow some debhelper commands to inject relevant code
#DEBHELPER#
