[PATCH] get rid of "cat: write error: Broken pipe" error message
[guilt.git] / uninstall
blob9c8a3b74bf3369e0da492406d7008b22da697cc0
1 #!/bin/sh
3 # Copyright (c) 2007 Nur Hussein <hussein@cs.usm.my>
6 if [ $# -lt 2 ]; then
7 echo "Usage: $0 <prefix> <file1> <file2> ..." >&2
8 exit 1
9 fi
11 PRE=$1
13 shift
15 (cd $PRE; rm "$@")