Выкидываем пользователя из системы

Как выкинуть (разлогинить) другого пользователя из системы? Легко - убить его шелл.

for i in $(ps aux|grep user|grep /bin/bash|awk '{print $2}'); do kill -9 $i; done

UPD. На самом деле в системе есть штатный инструмент для выкидывания пользователей. Сей велосипед заменяется простым заклинанием

pkill -u user