![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to asir-port.sh CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / asir-port|
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.8, 2005/02/03 07:31:55 | ||
|---|---|---|---|
|
|
||
| #!/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.7 2004/05/05 10:41:45 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-2005-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-2005-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-2005-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 $* | ||