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