# Depends on ed
# Depends on reinstalled bison
# Depends on unzip?
# Depends on reinstalled sed

# Exit on error:
set -e

# Useful debug script:
#wget -U httpRetriever http://downloads.kergis.com/kertex/rkguess.sh

# -U httpRetriever is used to fix the following error:
# --2022-07-22 18:12:08--  http://downloads.kergis.com/kertex/get_mk_install.sh
# Resolving downloads.kergis.com... 46.105.204.3
# Connecting to downloads.kergis.com|46.105.204.3|:80... connected.
# HTTP request sent, awaiting response... 403 Forbidden
# 2022-07-22 18:12:08 ERROR 403: Forbidden.

#wget -U httpRetriever http://downloads.kergis.com/kertex/get_mk_install.sh

# Use lftp instead of ftp:
sed -i.orig 's/=ftp/=lftp/' get_mk_install.sh

echo '***********************************************'
echo '* KerTeX hierarchy will be own by user kertex *'
echo '* and by group install.                       *'
echo '* Put kerTeX under /local.                    *'
echo '***********************************************'

sh get_mk_install.sh

exit 0