#!/bin/bash
-set -o errexit
# Reading system configuration informations, functions and package versions.
source ../sysinfos
chown -v root:root /var
chown -v root:root /var/log
+# Removing /tools from PATH:
+SED_REP='/sbin:/usr/sbin:/bin:/usr/bin:/usr/local/bin'
+sed -i -e "s!^\(PATH=\).*tools.*!\1${SED_REP}!" /etc/profile
+
+# Removing /tools directory
+if [ -d /tools ]; then
+ mv /tools /tools.to.remove.after.stage2
+fi
+
+ldconfig
+
exit $?