Application: gvSIG desktop

if [ "$BASH_VERSION" = "" ] ; then

    echo "gvSIG.sh is not running with a bash shell"

    if type bash 2>/dev/null ; then

        echo "Relaunch gvSIG.sh with a bash shell."

        exec bash $@

    else

        echo "Can't locate a bash, continue the execution with current shell."

    fi

fi

UNAME=$(uname -m -o | tr '[:upper:]' '[:lower:]')

update_user_preferences() {

  if [ "$GVSIG_HOME_FOLDER" = "$GVSIG_INSTALL_FOLDER/preferences" ] ; then

    # It is a portable using the installation preferences folder as the user preferences folder.

    # We do not do anything.

    return

  fi

  if [ ! -d "$GVSIG_INSTALL_FOLDER/preferences" ] ; then

    # There is no installation preference folder. We do not do anything.

    return

  fi

  echo "Updating preferences in personal folder..."

  echo "This may take a moment."

  if [ ! -d "$GVSIG_HOME_FOLDER" ] ; then

    # There is no folder with the gvSIG preferences in the user's folder. 

    # We copy the preferences folder of the gvSIG installation.

    echo "Copying the default gvSIG preferences to the user's folder."

    xmkdir -p "$GVSIG_HOME_FOLDER"

    cp -a "$GVSIG_INSTALL_FOLDER/preferences/$GVSIG_APPLICATION_NAME" "$GVSIG_HOME_FOLDER/.."

    echo "Updating preferences finished."

    return

  fi

  # The user already has their preferences in their personal folder.

  # We check if we have to copy some preferences that do not have:

  # - Preferences of some plugin that does not have

  # - Missing symbols

  # - Scripts

  #

  # Check if some plugin preferences are missing, and copy them

  cd "$GVSIG_INSTALL_FOLDER/preferences/$GVSIG_APPLICATION_NAME/plugins"

  for FOLDER in *

  do

    if [ -d "$FOLDER" -a ! -d "$GVSIG_HOME_FOLDER/plugins/$FOLDER" ] ; then

      echo "Copying the default $FOLDER preferences to the user's folder."

      xmkdir -p "$GVSIG_HOME_FOLDER/plugins/$FOLDER"

      cp -a "$GVSIG_INSTALL_FOLDER/preferences/$GVSIG_APPLICATION_NAME/plugins/$FOLDER" "$GVSIG_HOME_FOLDER/plugins"

    fi

  done

  #

  # Check if any symbols are missing and copy them

  cd "$GVSIG_INSTALL_FOLDER/preferences/$GVSIG_APPLICATION_NAME/plugins/org.gvsig.app.mainplugin/Symbols"

  for FOLDER in *

  do

    if [ -d "$FOLDER" -a ! -d "$GVSIG_HOME_FOLDER/plugins/org.gvsig.app.mainplugin/Symbols/$FOLDER" ] ; then

      echo "Copying the default $FOLDER symbol to the user's folder."

      xmkdir -p "$GVSIG_HOME_FOLDER/plugins/org.gvsig.app.mainplugin/Symbols/$FOLDER"

      cp -a "$GVSIG_INSTALL_FOLDER/preferences/$GVSIG_APPLICATION_NAME/plugins/org.gvsig.app.mainplugin/Symbols/$FOLDER" "$GVSIG_HOME_FOLDER/plugins/org.gvsig.app.mainplugin/Symbols"

    fi

  done

  #

  # Check if any script are missing and copy them

  cd "$GVSIG_INSTALL_FOLDER/preferences/$GVSIG_APPLICATION_NAME/plugins/org.gvsig.scripting.app.mainplugin/scripts/addons"

  for FOLDER in *

  do

    if [ -d "$FOLDER" -a ! -d "$GVSIG_HOME_FOLDER/plugins/org.gvsig.scripting.app.mainplugin/scripts/addons/$FOLDER" ] ; then

      echo "Copying the default $FOLDER script to the user's folder."

      xmkdir -p "$GVSIG_HOME_FOLDER/plugins/org.gvsig.scripting.app.mainplugin/scripts/addons/$FOLDER"

      cp -a "$GVSIG_INSTALL_FOLDER/preferences/$GVSIG_APPLICATION_NAME/plugins/org.gvsig.scripting.app.mainplugin/scripts/addons/$FOLDER" "$GVSIG_HOME_FOLDER/plugins/org.gvsig.scripting.app.mainplugin/scripts/addons"

    fi

  done

  echo "Updating preferences finished."

}

update_user_preferences

  find . -name package.info 2>/dev/null | while read pf_fname