#!/bin/sh -e if [ ! -d "${HOME}/${MOZ_PIS_USER_DIR}" ]; then mkdir -p "${HOME}/${MOZ_PIS_USER_DIR}/alt.default" cat >"${HOME}/${MOZ_PIS_USER_DIR}/profiles.ini"<"${HOME}/${MOZ_PIS_USER_DIR}/alt.default/prefs.js" fi