Generic_Window_Manager/contrib/gwmsh/rcshead

15 lines
214 B
Bash
Executable File

#!/bin/sh
#
# Usage:
# rcshead file
#
# Prints head revision number of the specified file.
#
if [ x"$1" = x ]; then
echo usage: rschead file 1>&2
exit 1
fi
rlog $1 | sed -n 's/^head: *//p'