| version 1.1, 2004/02/27 00:12:22 |
version 1.2, 2004/03/02 09:51:45 |
|
|
| #!/bin/sh |
#!/bin/sh |
| # $OpenXM$ |
# $OpenXM: OpenXM/src/asir-port/asir-install.sh,v 1.1 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 $OpenXM_HOME/bin |
# Risa/Asir is installed under $OpenXM_HOME/bin |
| os=`uname -s` |
os=`uname -s` |
| Line 75 if [ ! -f $HOME/.asir-tmp/$otname ]; then |
|
| Line 75 if [ ! -f $HOME/.asir-tmp/$otname ]; then |
|
| echo -n "Downloading the $ot plugin... " ; \ |
echo -n "Downloading the $ot plugin... " ; \ |
| oxfetch.sh $ot $HOME/.asir-tmp ; \ |
oxfetch.sh $ot $HOME/.asir-tmp ; \ |
| echo "Done." ; \ |
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) ; \ |
| |
fi |
| fi |
fi |
| |
|
| |
|
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to asir-install.sh CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / asir-port