mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-18 00:10:04 +00:00
f53d67c7e8
may also be used by dvips; the package is build with some defaults, which may be not wanted by the user (the port IS_INTERACTIVE)
50 lines
1.2 KiB
Bash
50 lines
1.2 KiB
Bash
#!/bin/sh
|
|
|
|
prefix=/usr/local
|
|
|
|
if [ "$2" = "POST-INSTALL" ]; then
|
|
exit 0
|
|
fi
|
|
|
|
if [ -f $prefix/bin/MakeTeXPK ]; then
|
|
echo "**WARNING** MakeTeXPK already exists in $prefix/bin"
|
|
echo "**WARNING** This file will be replaced during install."
|
|
echo
|
|
echo -n "do you want to continue ? [y] "
|
|
read answ; if [ "$answ" = "" ]; then answ=y; fi
|
|
case $answ in
|
|
y*|Y*) break;;
|
|
*) exit 1;;
|
|
esac
|
|
fi
|
|
|
|
cat << END
|
|
|
|
This package has been compiled with some defaults:
|
|
1 fonts will be created in $prefix/lib/texmf/fonts/pk and this
|
|
directory will be made world writable
|
|
|
|
2 300 dpi fonts will be created with MODE=imagen
|
|
200 dpi fonts will be created with MODE=FAX
|
|
360 dpi fonts will be created with MODE=nextII
|
|
400 dpi fonts will be created with MODE=nexthi
|
|
72 dpi fonts will be created with MODE=nextscreen
|
|
|
|
If you are not satisfied with 1, you need to recompile xdvi
|
|
If you are not satisfied with 2, you will need to edit $prefix/MakeTeXPK
|
|
|
|
END
|
|
|
|
echo -n "do you want to install the package ? [y] "
|
|
read answ; if [ "$answ" = "" ]; then answ=y; fi
|
|
case $answ in
|
|
y*|Y*) break;;
|
|
*) exit 1;;
|
|
esac
|
|
|
|
mkdir -p $prefix/lib/texmf/fonts/pk; chmod 1777 $prefix/lib/texmf/fonts/pk
|
|
|
|
exit 0
|
|
|
|
|