Sindbad~EG File Manager

#!/bin/sh

set -eu

# creating gnome-initial-setup user if it isn't already there
if ! getent passwd gnome-initial-setup >/dev/null; then
        adduser --system --force-badname --quiet \
            --home /run/gnome-initial-setup/ --no-create-home \
            --shell /bin/false \
            gnome-initial-setup
fi

# Automatically added by dh_installdeb/13.6ubuntu1
dpkg-maintscript-helper rm_conffile /etc/xdg/autostart/gnome-welcome-tour.desktop 40.1-2\~ -- "$@"
# End automatically added section


exit 0