#!/bin/sh

TICO_HOME=/usr/local/tico

if [ -d ${TICO_HOME} ]; then

    ## Create tico user and set it as owner of all created files. More specifically, it must own the temporal "current/" directory.
    #useradd --no-create-home -s /bin/false tico
    #chown -R tico:tico ${TICO_HOME}
    #mkdir ${TICO_HOME}/current
    #chmod 777 ${TICO_HOME}/current
    chmod +x ${TICO_HOME}/tico.sh
    #chown -R tico:tico ${TICO_HOME}/images
    #chmod -R 777 ${TICO_HOME}/images

    # Add the TICO paths to the bash.bashrc file, so all users can access the application
    echo 'export TICO_HOME=/usr/local/tico     # TICO_INSTALLATION' >>/etc/bash.bashrc
    echo 'export PATH=${PATH}:${TICO_HOME}      # TICO_INSTALLATION' >>/etc/bash.bashrc
    echo 'export PATH              # TICO_INSTALLATION' >>/etc/bash.bashrc

    echo '....... Actualizando /etc/bash.bashrc'

    # Adding menu entries
   cp  ${TICO_HOME}/Gnome_menu_entries/tico-editor.desktop /usr/share/applications/tico-editor.desktop
   cp  ${TICO_HOME}/Gnome_menu_entries/tico-interpreter.desktop /usr/share/applications/tico-interpreter.desktop
fi