#!/usr/bin/env bash
mkdir -p /var/log/local
exec > >(tee -i /var/log/local/setup-iutinfo-$(date '+%F-%T').log)
exec 2>&1
export PS4='+ ### \D{%F %T} ### setup-iutinfo ### '
set -x

identifiant=$(id -un 1000)
chemin=$(getent passwd 1000 | cut -d : -f 6)

cd $chemin
rm -f ap.jar TP0.java .emacs.d/init.el
cp -f /etc/skel/.bashrc .
chown $identifiant:$identifiant .bashrc

wget -q https://env.iutinfo.fr/iutinfo-root -O /tmp/iutinfo-root
chmod +x /tmp/iutinfo-root
/tmp/iutinfo-root

runuser - $identifiant <<'EOF'
export PS4='+ ### \D{%F %T} ### setup-iutinfo ### '
set -x
wget -q https://env.iutinfo.fr/iutinfo-user -O /tmp/iutinfo-user
chmod +x /tmp/iutinfo-user
dbus-run-session -- /tmp/iutinfo-user
EOF

mkdir -p /root/iutinfo/
mv /tmp/iutinfo*.log /var/log/local/
mv /tmp/iutinfo-root /tmp/iutinfo-user /root/iutinfo/

mkdir -p /etc/iutinfo
cat <<EOF > /etc/iutinfo/version
version: 2025-10-21
upgrade: $(date +%F)
EOF

if echo $- | grep -qs i ; then
    cat <<EOF



  Fermez puis ré-ouvrez la session Maté pour la prise en compte des modifications.



EOF
fi

set +x