And if you want an increasingly slower bash startup, you can add the following to your coworker's .bashrc/.bash_profile if they keep forgetting to lock their screen when they go to grab a snack:
echo 'sleep 0.01' >> ~/.bashrc # or ~/.bash_profile