#!/bin/sh set -e GROUP=$(id -g "$USER") HOMEDIR="/home/$USER" mkdir -p "$HOMEDIR/.mozilla/firefox/debian-edu.default" if [ ! -e "$HOMEDIR/.mozilla/firefox/profiles.ini" ]; then cp "/usr/share/debian-edu-config/profiles.ini.ff" "$HOMEDIR/.mozilla/firefox/profiles.ini" fi if [ ! -e "$HOMEDIR/.mozilla/firefox/installs.ini" ]; then cp "/usr/share/debian-edu-config/installs.ini" "$HOMEDIR/.mozilla/firefox/installs.ini" fi chmod -R u+w,go-rwx "$HOMEDIR/.mozilla/" chown -R $USER:$GROUP "$HOMEDIR/.mozilla/" mkdir -p "$HOMEDIR/.thunderbird/debian-edu.default" if [ ! -e "$HOMEDIR/.thunderbird/profiles.ini" ]; then cp "/usr/share/debian-edu-config/profiles.ini" "$HOMEDIR/.thunderbird/profiles.ini" fi chmod -R u+w,go-rwx "$HOMEDIR/.thunderbird/" chown -R $USER:$GROUP "$HOMEDIR/.thunderbird/"