#!/usr/bin/env bash
# Baja de un alumno (root en el VPS): corta sesiones, borra clave, usuario y sockets.
set -euo pipefail
[ "$(id -u)" -eq 0 ] || { echo "ejecuta como root"; exit 1; }
[ $# -eq 1 ] || { echo "uso: $0 <usuario>"; exit 1; }
u=$1
[[ $u =~ ^[a-z][a-z0-9]{2,19}$ ]] || { echo "usuario inválido"; exit 1; }
id -nG "$u" 2>/dev/null | grep -qw alumnos || { echo "$u no es un alumno"; exit 1; }

rm -f "/etc/ssh/authorized_keys/$u"
pkill -KILL -u "$u" || true
userdel "$u"
rm -rf "/var/lib/alumnos/$u"
echo "Alumno $u eliminado."