version 1.12, 2006/06/28 11:41:11 |
version 1.15, 2009/02/24 10:21:52 |
|
|
#!/bin/sh |
#!/bin/bash |
# $OpenXM: OpenXM/src/asir-port/asir-install.sh,v 1.11 2006/02/13 04:37:36 takayama Exp $ |
# $OpenXM: OpenXM/src/asir-port/asir-install.sh,v 1.14 2007/11/18 01:56:25 takayama Exp $ |
# Downloading Risa/Asir for FLL-free systems |
# Downloading Risa/Asir for FLL-free systems |
# under $HOME/.asir-tmp and installs asir to $OpenXM_HOME/bin |
# under $HOME/.asir-tmp and installs asir to $OpenXM_HOME/bin |
# |
# |
Line 67 _check_install_error() { |
|
Line 67 _check_install_error() { |
|
if [ ! -f $HOME/.asir-tmp/$asirnamegunzip ]; then |
if [ ! -f $HOME/.asir-tmp/$asirnamegunzip ]; then |
echo "Installation of Risa/Asir from the network seems to be failed."; \ |
echo "Installation of Risa/Asir from the network seems to be failed."; \ |
echo "Please check if your computer is connected to the internet "; \ |
echo "Please check if your computer is connected to the internet "; \ |
echo " and you can download files from ftp.math.kobe-u.ac.jp "; \ |
echo " and you can download files from www.math.kobe-u.ac.jp "; \ |
echo " by passive ftp."; \ |
echo " by http."; \ |
sleep 60 ; \ |
sleep 60 ; \ |
exit ; \ |
exit ; \ |
fi |
fi |
Line 98 if [ ! -f $HOME/.asir-tmp/$otname ]; then |
|
Line 98 if [ ! -f $HOME/.asir-tmp/$otname ]; then |
|
echo "Done." ; \ |
echo "Done." ; \ |
if [ -f $HOME/.TeXmacs/progs/my-init-texmacs.scm ]; then \ |
if [ -f $HOME/.TeXmacs/progs/my-init-texmacs.scm ]; then \ |
echo "Warning .TeXmacs/progs/my-init-texmacs.scm exists"; \ |
echo "Warning .TeXmacs/progs/my-init-texmacs.scm exists"; \ |
echo "Copy from ~/.asir-tmp/$otname by hand."; \ |
echo "Copy .TeXmacs and .feprc from ~/.asir-tmp/$otname by hand."; \ |
else (cd $HOME ; tar xzf $HOME/.asir-tmp/$otname) ; \ |
else (cd $HOME ; tar xzf $HOME/.asir-tmp/$otname ; cp -i .feprc.sample .feprc) ; \ |
fi |
fi |
fi |
fi |
|
|