[BACK]Return to asir-port.sh CVS log [TXT][DIR] Up to [local] / OpenXM / src / asir-port

Diff for /OpenXM/src/asir-port/asir-port.sh between version 1.2 and 1.8

version 1.2, 2004/02/22 06:39:09 version 1.8, 2005/02/03 07:31:55
Line 1 
Line 1 
 #!/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.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
Line 14  libmd=`cat $OpenXM_HOME/lib/asir/distinfo-lib`
Line 14  libmd=`cat $OpenXM_HOME/lib/asir/distinfo-lib`
 #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-all/knoppix-2005-02/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
Line 49  _agree() {
Line 51  _agree() {
         _agree          _agree
 }  }
   
   _check_install_error() {
     if [ ! -f $HOME/.asir-tmp/$asirnamegunzip ]; then
        echo "Installation of Risa/Asir from the network seems to be failed."; \
        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 "  by passive ftp."; \
        sleep 60 ; \
     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 65  if [ ! -f $HOME/.asir-tmp/$asirlibname ]; then
Line 77  if [ ! -f $HOME/.asir-tmp/$asirlibname ]; then
         echo "Done." ; \          echo "Done." ; \
         (cd $HOME/.asir-tmp ; tar xzf $asirlibname) ; \          (cd $HOME/.asir-tmp ; tar xzf $asirlibname) ; \
 fi  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
   
   _check_install_error
   
 $OpenXM_HOME/bin/fep $OpenXM_HOME/bin/asir $*  $OpenXM_HOME/bin/fep $OpenXM_HOME/bin/asir $*
   
Legend:
Removed from v.1.2  
changed lines
  Added in v.1.8
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>