#!/bin/sh

TICO_HOME=/usr/local/tico

if [ -d ${TICO_HOME} ]; then
    rm -r ${TICO_HOME}

    # Delete all env variables created during installation
    sed '/TICO_INSTALLATION/d' /etc/bash.bashrc > /tmp/bash_temp
    mv -f /tmp/bash_temp  /etc/bash.bashrc

    # Delete tico user, as well as the home directory
    deluser tico

    # Removing menu entries
   rm --force ${TICO_HOME}/Gnome_menu_entries/tico-editor.desktop /usr/share/applications/tico-editor.desktop
   rm --force  ${TICO_HOME}/Gnome_menu_entries/tico-interpreter.desktop /usr/share/applications/tico-interpreter.desktop

fi