version 1.2, 2004/02/22 06:39:09 |
version 1.5, 2004/03/02 09:51:45 |
|
|
#!/bin/sh |
#!/bin/sh |
# $OpenXM: OpenXM/src/asir-port/asir-port.sh,v 1.1 2004/02/21 12:57:32 takayama Exp $ |
# $OpenXM: OpenXM/src/asir-port/asir-port.sh,v 1.4 2004/02/27 00:12:22 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 |
Line 19 asirnamegunzip="asir-$os-$md" |
|
Line 19 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/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" |
|
otname="ox-texmacs-$os.tar.gz" |
|
|
if [ $# = 1 ]; then |
if [ $# = 1 ]; then |
if [ $1 = "--install" ]; then |
if [ $1 = "--install" ]; then |
|
|
_agree |
_agree |
} |
} |
|
|
|
# If there is un usb memory, then download under the usb memory. |
|
if [ -d /mnt/sda1/.asir-tmp ] ; then |
|
rm -f $HOME/.asir-tmp ; \ |
|
ln -s /mnt/sda1/.asir-tmp $HOME/.asir-tmp |
|
fi |
|
if [ -d /mnt/sdb1/.asir-tmp ] ; then |
|
rm -f $HOME/.asir-tmp ; \ |
|
ln -s /mnt/sdb1/.asir-tmp $HOME/.asir-tmp |
|
fi |
|
|
if [ ! -f $HOME/.asir-tmp/$asirnamegunzip ]; then |
if [ ! -f $HOME/.asir-tmp/$asirnamegunzip ]; then |
_agree ; \ |
_agree ; \ |
echo -n "Downloading the binary of asir (1.5M) $asir ... " ; \ |
echo -n "Downloading the binary of asir (1.5M) $asir ... " ; \ |
Line 64 if [ ! -f $HOME/.asir-tmp/$asirlibname ]; then |
|
Line 76 if [ ! -f $HOME/.asir-tmp/$asirlibname ]; then |
|
oxfetch.sh $asirlib $HOME/.asir-tmp ; \ |
oxfetch.sh $asirlib $HOME/.asir-tmp ; \ |
echo "Done." ; \ |
echo "Done." ; \ |
(cd $HOME/.asir-tmp ; tar xzf $asirlibname) ; \ |
(cd $HOME/.asir-tmp ; tar xzf $asirlibname) ; \ |
|
fi |
|
if [ ! -f $HOME/.asir-tmp/$otname ]; then |
|
echo -n "Downloading $ot plugin... " ; \ |
|
oxfetch.sh $ot $HOME/.asir-tmp ; \ |
|
echo "Done." ; \ |
|
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) ; \ |
|
fi |
fi |
fi |
|
|
|
|