#!/bin/sh
if [ -f "$HOME/commandlog-paused" ]; then
echo "Resuming command logging."
rm "$HOME/commandlog-paused"
fi
