From d3a0cc3a8ba6dfeb64d3faeffdeb6845b60e5840 Mon Sep 17 00:00:00 2001 From: Yuchen Pei Date: Sat, 20 Jan 2018 15:41:49 +0100 Subject: rearranged the dir for github - removed tools and pdfs - rearranged the projects dirs - added md files - other minor changes --- tools/TextComparer.sh | 36 ------------------------------------ 1 file changed, 36 deletions(-) delete mode 100755 tools/TextComparer.sh (limited to 'tools/TextComparer.sh') 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 -- cgit v1.2.3