diff --git a/distribution/linux/install.sh b/distribution/linux/install.sh index df51b3388..7a9f53c7c 100755 --- a/distribution/linux/install.sh +++ b/distribution/linux/install.sh @@ -3,33 +3,42 @@ # This script adds a menu item, icons and mime type for Digital for the current # user. Based on Arduino install script. +echo "Installation starting..." + RESOURCE_NAME=digital-simulator SCRIPT_PATH=$( cd $(dirname $0) ; pwd ) cd "${SCRIPT_PATH}" TMP_DIR=`mktemp --directory` +echo "Generating temporary folder '${TMP_DIR}'..." sed -e "s,,${SCRIPT_PATH}/Digital.sh,g" \ -e "s,,${SCRIPT_PATH}/icon.svg,g" "${SCRIPT_PATH}/linux/desktop.template" > "${TMP_DIR}/${RESOURCE_NAME}.desktop" - -mkdir -p "${HOME}/.local/share/applications" -cp "${TMP_DIR}/${RESOURCE_NAME}.desktop" "${HOME}/.local/share/applications/" -mkdir -p "${HOME}/.local/share/mime/packages" -cp "${SCRIPT_PATH}/linux/${RESOURCE_NAME}.xml" "${HOME}/.local/share/mime/packages" +echo "Copying files..." + +mkdir --verbose --parents "${HOME}/.local/share/applications/" +cp --verbose "${TMP_DIR}/${RESOURCE_NAME}.desktop" "${HOME}/.local/share/applications/" -rm "${TMP_DIR}/${RESOURCE_NAME}.desktop" -rmdir "${TMP_DIR}" +mkdir --verbose --parents "${HOME}/.local/share/mime/packages/" +cp --verbose "${SCRIPT_PATH}/linux/${RESOURCE_NAME}.xml" "${HOME}/.local/share/mime/packages/" + +echo "Removing temporary folder '${TMP_DIR}' and its contents..." +rm --verbose --recursive --force "${TMP_DIR}" if [ -d "${HOME}/.local/share/applications" ]; then if command -v update-desktop-database > /dev/null; then + echo "Updating desktop database..." update-desktop-database "${HOME}/.local/share/applications" fi fi if [ -d "${HOME}/.local/share/mime" ]; then if command -v update-mime-database > /dev/null; then + echo "Updating mime database..." update-mime-database "${HOME}/.local/share/mime" fi fi + +echo "'Digital' installed successfully"