unshar (Re: date+ - add specified time to date)

[ken at boring.UUCP]

In article <12600026 at uiucdcs> liberte at uiucdcs.Uiuc.ARPA writes:
#! /bin/sh
# unshar - pipe shar part of input through sh
# Ignore lines before first "#" comment starting in first column.
# Input is either $1 or stdin.
sed -n '/^#/,$ p' ${1-} | sh

Good stuff. This is even better.
sed -n '/^#/,$ p' ${1-} | exec sh

	Ken
-- 
UUCP: ..!{seismo,okstate,garfield,decvax,philabs}!mcvax!ken Voice: Ken!
Mail: Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ, Amsterdam.