Kann man verhindern, das globale Basheinstellungen vom Nutzer geändert werden?

Die Frage steht ja schon im Betreff. Zur Erklärung: Ich möchte das beim Logout alle Hintergrundjobs eines Nutzers beendet werden. In der Bash ist dies durch shopt -u huponexit standardmäßig deaktiviert. Nun kann ich zwar in der /etc/profile die Sache aktivieren, aber wie kann ich es verhindern, das ein "normaler" Nutzer es wieder per shopt ausschaltet. Für einen Privatrechner ist dies sicherlich egal, aber für einen Rechner an dem täglich mehrere Leute arbeiten wäre es unschön, wenn jeder ein job hinterlässt. In den Einschlägigen Hilfen bin ich leider nicht fündig geworden (Also bitte kein rtfm ) mfg Ronny