sejongrc

REFERER="https://ithub.korean.go.kr/user/total/database/corpusManager.do"
USERAGENT="Mozilla/5.0 (Macintosh; Intel Mac OS X 10_12_4) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/58.0.3029.110 Safari/537.36"
COOKIE="html/cookie.txt"
touch "$COOKIE"

mkdir -p html corpus corpus-utf8 download dictionary

curl_post() {
	if test -z "$URL"; then
		echo "URL is not set"
		exit 1
	fi
	if test -z "$OUTFILE"; then
		echo "OUTFILE is not set"
		exit 1
	fi
	if test -z "$DATA"; then
		echo "DATA is not set"
		exit 1
	fi
	if test -f "$OUTFILE"; then
		echo "${PREFIX}Skip download $DESC ($OUTFILE)"
		return
	fi
    if test -z "$LOGFILE"; then
        LOGFILE=/dev/null
    fi
    if test -f "$OUTFILE"; then
        echo "${PREFIX}Download: Skip $DESC ($OUTFILE)"
    else
        echo "${PREFIX}Download: $DESC ($OUTFILE)"
        curl --stderr "$LOGFILE" -v --user-agent "$USERAGENT" --referer $REFERER --cookie $COOKIE --cookie-jar $COOKIE -o "$OUTFILE.tmp" -s "$URL" --data "$DATA"
        mv "$OUTFILE.tmp" "$OUTFILE"
    fi
}

patch_preexists()
{
	INFILE="$1"
	DIRNAME=${INFILE%/*}
	BASENAME=${INFILE##*/}
	PATCHES=${BASENAME%.txt}-*.patch
	for file in patches/$PATCHES
	do
		test -f $file || continue
		echo "${PREFIX}patch... $file"
		patch -N -d "$DIRNAME" -p1 < $file
	done
}