wok-6.x view lxdm/stuff/PostLogout @ rev 25020

updated openmpi and openmpi-dev (4.0.3 -> 4.1.3)
author Hans-G?nter Theisgen
date Wed May 18 08:05:48 2022 +0100 (2022-05-18)
parents
children
line source
1 #!/bin/sh
2 #
3
4 # LXDM does not clear the last user's processes.
5 ps -o "user,pid" | fgrep $USER | while read user pid
6 do
7 kill $pid
8 done