#!/bin/bash
time=$1
shift
sleep $time
($*;echo pushafter: completed command: $*) &
