Files

8 lines
181 B
Bash

if id bob >/dev/null 2>&1; then
pkill -KILL -u bob 2>/dev/null
userdel -r bob 2>/dev/null
fi
H=$(state_get home)
[ -n "$H" ] && rm -f "$H/.ssh/lab_key" "$H/.ssh/lab_key.pub"
true