Return to asir-port.sh CVS log | Up to [local] / OpenXM / src / asir-port |
version 1.5, 2004/03/02 09:51:45 | version 1.9, 2006/02/06 04:54:13 | ||
---|---|---|---|
|
|
||
#!/bin/sh | #!/bin/sh | ||
# $OpenXM: OpenXM/src/asir-port/asir-port.sh,v 1.4 2004/02/27 00:12:22 takayama Exp $ | # $OpenXM: OpenXM/src/asir-port/asir-port.sh,v 1.8 2005/02/03 07:31:55 takayama Exp $ | ||
# Downloading Risa/Asir for FLL-free systems. | # Downloading Risa/Asir for FLL-free systems. | ||
# Risa/Asir is installed under $HOME/.asir-tmp/$asirname | # Risa/Asir is installed under $HOME/.asir-tmp/$asirname | ||
# Symbolic link to $asirname from $OpenXM_HOME/bin/asir must exist | # Symbolic link to $asirname from $OpenXM_HOME/bin/asir must exist | ||
|
|
||
#asirlib="ftp://ftp.math.kobe-u.ac.jp/pub/asir/tar.exe" | #asirlib="ftp://ftp.math.kobe-u.ac.jp/pub/asir/tar.exe" | ||
#asirlibname="tar.exe" | #asirlibname="tar.exe" | ||
# | # | ||
asir="ftp://ftp.math.kobe-u.ac.jp/pub/asir/knoppix/asir-$os-$md.gz" | asir="ftp://ftp.math.kobe-u.ac.jp/pub/asir/knoppix-all/knoppix-2006-02/asir-$os-$md.gz" | ||
asirnamegunzip="asir-$os-$md" | asirnamegunzip="asir-$os-$md" | ||
asirname="asir-$os-$md.gz" | asirname="asir-$os-$md.gz" | ||
asirlib="ftp://ftp.math.kobe-u.ac.jp/pub/asir/knoppix/asirlib-$os-$libmd.tar.gz" | asirlib="ftp://ftp.math.kobe-u.ac.jp/pub/asir/knoppix-all/knoppix-2006-02/asirlib-$os-$libmd.tar.gz" | ||
asirlibname="asirlib-$os-$libmd.tar.gz" | asirlibname="asirlib-$os-$libmd.tar.gz" | ||
ot="ftp://ftp.math.kobe-u.ac.jp/pub/asir/knoppix/ox-texmacs-$os.tar.gz" | ot="ftp://ftp.math.kobe-u.ac.jp/pub/asir/knoppix-all/knoppix-2006-02/ox-texmacs-$os.tar.gz" | ||
otname="ox-texmacs-$os.tar.gz" | otname="ox-texmacs-$os.tar.gz" | ||
if [ $# = 1 ]; then | if [ $# = 1 ]; then | ||
|
|
||
_agree | _agree | ||
} | } | ||
# If there is un usb memory, then download under the usb memory. | _check_install_error() { | ||
if [ -d /mnt/sda1/.asir-tmp ] ; then | if [ ! -f $HOME/.asir-tmp/$asirnamegunzip ]; then | ||
rm -f $HOME/.asir-tmp ; \ | echo "Installation of Risa/Asir from the network seems to be failed."; \ | ||
ln -s /mnt/sda1/.asir-tmp $HOME/.asir-tmp | echo "Please check if your computer is connected to the internet "; \ | ||
fi | echo " and you can download files from ftp.math.kobe-u.ac.jp "; \ | ||
if [ -d /mnt/sdb1/.asir-tmp ] ; then | echo " by passive ftp."; \ | ||
rm -f $HOME/.asir-tmp ; \ | sleep 60 ; \ | ||
ln -s /mnt/sdb1/.asir-tmp $HOME/.asir-tmp | fi | ||
fi | } | ||
if [ ! -f $HOME/.asir-tmp/$asirnamegunzip ]; then | if [ ! -f $HOME/.asir-tmp/$asirnamegunzip ]; then | ||
_agree ; \ | _agree ; \ | ||
|
|
||
fi | fi | ||
fi | fi | ||
_check_install_error | |||
$OpenXM_HOME/bin/fep $OpenXM_HOME/bin/asir $* | $OpenXM_HOME/bin/fep $OpenXM_HOME/bin/asir $* | ||