OpenXM/src/asir-port/asir-port.sh - diff

Return to asir-port.sh CVS log

Up to [local] / OpenXM / src / asir-port

version 1.4, 2004/02/27 00:12:22

version 1.7, 2004/05/05 10:41:45

Line 1

#!/bin/sh

# $OpenXM: OpenXM/src/asir-port/asir-port.sh,v 1.3 2004/02/24 05:43:14 takayama Exp $

# $OpenXM: OpenXM/src/asir-port/asir-port.sh,v 1.6 2004/03/04 12:08:30 takayama Exp $

# Downloading Risa/Asir for FLL-free systems.

# Risa/Asir is installed under $HOME/.asir-tmp/$asirname

# Symbolic link to $asirname from $OpenXM_HOME/bin/asir must exist

Line 51 _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 "; \

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

}

if [ ! -f $HOME/.asir-tmp/$asirnamegunzip ]; then

_agree ; \

Line 81 if [ ! -f $HOME/.asir-tmp/$otname ]; then

echo -n "Downloading $ot plugin... " ; \

oxfetch.sh $ot $HOME/.asir-tmp ; \

echo "Done." ; \

(cd $HOME ; tar xzf $HOME/.asir-tmp/$otname) ; \

if [ -f $HOME/.TeXmacs/progs/my-init-texmacs.scm ]; then \

echo "Warning .TeXmacs/progs/my-init-texmacs.scm exists"; \

echo "Copy from ~/.asir-tmp/$otname by hand."; \

else (cd $HOME ; tar xzf $HOME/.asir-tmp/$otname) ; \

_check_install_error

$OpenXM_HOME/bin/fep $OpenXM_HOME/bin/asir $*