diff options
author | Yuchen Pei <me@ypei.me> | 2018-01-20 15:41:49 +0100 |
---|---|---|
committer | Yuchen Pei <me@ypei.me> | 2018-01-20 15:41:49 +0100 |
commit | d3a0cc3a8ba6dfeb64d3faeffdeb6845b60e5840 (patch) | |
tree | d58df9ec2480e2a9ec6240f9c797f83d1a0b1056 /tools/TextComparer.sh | |
parent | 3571f998b28fbc8d9250ba04c983935f10a16c15 (diff) |
rearranged the dir for github
- removed tools and pdfs
- rearranged the projects dirs
- added md files
- other minor changes
Diffstat (limited to 'tools/TextComparer.sh')
-rwxr-xr-x | tools/TextComparer.sh | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/tools/TextComparer.sh b/tools/TextComparer.sh deleted file mode 100755 index c8b08af..0000000 --- a/tools/TextComparer.sh +++ /dev/null @@ -1,36 +0,0 @@ -#!/usr/bin/env sh - -# $Id: TextComparer.sh,v 1.1 2014/06/17 21:14:01 marka Exp $ -# mark.armbrust@pobox.com - -# User's CDPATH can interfere with cd in this script -unset CDPATH -# Get the true name of this script -script="`test -L "$0" && readlink -n "$0" || echo "$0"`" -dir="$PWD" -cd "`dirname "$script"`" -if [ \( $# -ne 2 \) -o \( "$1" = "-h" \) -o \( "$1" = "--help" \) ] -then - # print usage - echo "Usage:" - echo " `basename "$0"` FILE1 FILE2 Compares FILE1 and FILE2. The success" - echo " message or the first miscompared line" - echo " is printed to the command console." -else - # Convert arg1 to an absolute path - if [ `echo "$1" | sed -e "s/\(.\).*/\1/"` = / ] - then - arg1="$1" - else - arg1="$dir/$1" - fi - # Convert arg2 to an absolute path - if [ `echo "$2" | sed -e "s/\(.\).*/\1/"` = / ] - then - arg2="$2" - else - arg2="$dir/$2" - fi -# echo Comparing "$arg1" "$arg2" - java -classpath "${CLASSPATH}:bin/classes" TextComparer "$arg1" "$arg2" -fi |