diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2022-01-07 07:51:08 +0100 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2022-01-07 16:52:12 +0100 |
| commit | 335259b875dc06fae018a9f50e17fc37d20d8df3 (patch) | |
| tree | 9acebb8f8b6b65eee92247c5edbf06180a4ad47f | |
| parent | ecfd884402dc0aa802f5c0c7503b453873c2a23f (diff) | |
| download | itzks-systems-335259b875dc06fae018a9f50e17fc37d20d8df3.tar.gz itzks-systems-335259b875dc06fae018a9f50e17fc37d20d8df3.tar.bz2 itzks-systems-335259b875dc06fae018a9f50e17fc37d20d8df3.zip | |
bin/itzks-goodbye-user-session: Actually, this script needs to stay around for a long time (or users' dconf settings might need porting). Thus, wrapping around Debian Edu's goodby-user-session.
| -rwxr-xr-x | bin/itzks-goodbye-user-session | 49 |
1 files changed, 29 insertions, 20 deletions
diff --git a/bin/itzks-goodbye-user-session b/bin/itzks-goodbye-user-session index 24e53d8..754ecf4 100755 --- a/bin/itzks-goodbye-user-session +++ b/bin/itzks-goodbye-user-session @@ -17,29 +17,38 @@ # with this program; if not, write to the Free Software Foundation, Inc., # 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. -# FIXME: Drop 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}" + +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 - echo "$(basename $0): System accounts are not allowed to commit suicide." + # 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 |