#!/bin/bash # Copyright (C) 2017 Mike Gabriel # Copyright (C) 2017 Benjamin Schlüter # # This program is free software; you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by # the Free Software Foundation; either version 2 of the License, or # (at your option) any later version. # # This program is distributed in the hope that it will be useful, # but WITHOUT ANY WARRANTY; without even the implied warranty of # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the # GNU General Public License for more details. # # You should have received a copy of the GNU General Public License along # with this program; if not, write to the Free Software Foundation, Inc., # 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. if [ -x /usr/share/debian-edu-config/tools/goodbye-user-session ]; then # Use Debian Edu implementation, if we have it already... /usr/share/debian-edu-config/tools/goodbye-user-session ${@} else # FIXME: Drop this section for bookworm. Upstreamed as # /usr/share/debian-edu-config/tools/goodbye-user-session if [ $EUID -ge 500 ]; then # safety net for well-known browsers pkill -TERM -u "${LOGNAME}" x-www-browser pkill -TERM -u "${LOGNAME}" firefox-esr pkill -TERM -u "${LOGNAME}" firefox pkill -TERM -u "${LOGNAME}" iceweasel pkill -TERM -u "${LOGNAME}" chromium pkill -TERM -u "${LOGNAME}" chrome pkill -TERM -u "${LOGNAME}" konqueror pkill -TERM -u "${LOGNAME}" midori pkill -TERM -u "${LOGNAME}" opera sleep 1 # dump all other processes the hard way... pkill -KILL -u "${LOGNAME}" else echo "$(basename $0): System accounts are not allowed to be terminated by this script." fi fi exit 0