| version 1.11, 2006/02/08 08:16:10 |
version 1.22, 2016/06/04 23:59:01 |
|
|
| #!/bin/sh |
#!/bin/bash |
| # $OpenXM: OpenXM/src/asir-port/asir-port.sh,v 1.10 2006/02/08 02:06:52 takayama Exp $ |
# $OpenXM: OpenXM/src/asir-port/asir-port.sh,v 1.21 2014/07/27 02:33:19 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 |
| # in the distribution of FLL-free distribution. |
# in the distribution of FLL-free distribution. |
| # Starting script of Risa/Asir may call this shell script. |
# Starting script of Risa/Asir may call this shell script. |
| version=`cat $OpenXM_HOME/lib/version.txt` |
version=`cat $OpenXM_HOME/lib/version.txt` |
| os=`uname -s` |
os=`dpkg --print-architecture` |
| md=`cat $OpenXM_HOME/lib/asir/distinfo-asir.md5` |
md=`cat $OpenXM_HOME/lib/asir/distinfo-asir.md5` |
| libmd=`cat $OpenXM_HOME/lib/asir/distinfo-asirlib.md5` |
libmd=`cat $OpenXM_HOME/lib/asir/distinfo-asirlib.md5` |
| # For testing |
# For testing |
| #asir="ftp://ftp.math.kobe-u.ac.jp/pub/asir/gzip.exe" |
#asir="http://www.math.kobe-u.ac.jp/pub/asir/gzip.exe" |
| #asirname="gzip.exe" |
#asirname="gzip.exe" |
| #asirlib="ftp://ftp.math.kobe-u.ac.jp/pub/asir/tar.exe" |
#asirlib="http://www.math.kobe-u.ac.jp/pub/asir/tar.exe" |
| #asirlibname="tar.exe" |
#asirlibname="tar.exe" |
| # |
# |
| asir="ftp://ftp.math.kobe-u.ac.jp/pub/OpenXM/head/knoppix/asir-$os-$version.gz" |
asir="http://www.math.kobe-u.ac.jp/pub/OpenXM/head/knoppix/asir-$os-$version.gz" |
| asirnamegunzip="asir-$os-$version" |
asirnamegunzip="asir-$os-$version" |
| asirname="asir-$os-$version.gz" |
asirname="asir-$os-$version.gz" |
| asirlib="ftp://ftp.math.kobe-u.ac.jp/pub/OpenXM/head/knoppix/asirlib-$os-$version.tar.gz" |
asirlib="http://www.math.kobe-u.ac.jp/pub/OpenXM/head/knoppix/asirlib-$os-$version.tar.gz" |
| asirlibname="asirlib-$os-$version.tar.gz" |
asirlibname="asirlib-$os-$version.tar.gz" |
| ot="ftp://ftp.math.kobe-u.ac.jp/pub/OpenXM/head/knoppix/ox-texmacs-$os.tar.gz" |
ot="http://www.math.kobe-u.ac.jp/pub/OpenXM/head/knoppix/ox-texmacs-$os-$version.tar.gz" |
| otname="ox-texmacs-$os.tar.gz" |
otname="ox-texmacs-$os-$version.tar.gz" |
| |
|
| if [ $# = 1 ]; then |
if [ $# = 1 ]; then |
| if [ $1 = "--install" ]; then |
if [ $1 = "--install" ]; then |
| rm -rf $HOME/.asir-tmp |
rm -rf $HOME/.asir-tmp ; |
| |
rm -f /usr/local/OpenXM/bin/asir ; |
| fi |
fi |
| fi |
fi |
| |
|
| |
if [ -f /usr/local/OpenXM/bin/asir ]; then |
| |
$OpenXM_HOME/bin/fep $OpenXM_HOME/bin/asir $* ; exit ; |
| |
fi |
| |
|
| _agree() { |
_agree() { |
| echo "------------------------------------------------------------------" |
echo "------------------------------------------------------------------" |
| echo "Risa/Asir is distributed with no warranty for non-commercial use." |
echo "Risa/Asir is distributed with no warranty for non-commercial use." |
|
|
| echo "Do you agree with the licenses under $OpenXM_HOME/Copyright?" |
echo "Do you agree with the licenses under $OpenXM_HOME/Copyright?" |
| echo "------------------------------------------------------------------" |
echo "------------------------------------------------------------------" |
| echo "y: agree, n: do not agree, v: read the detail of the asir license." |
echo "y: agree, n: do not agree, v: read the detail of the asir license." |
| read -e -p "(y/n/v)" ans |
if [ -f "/tmp/i-agree-with-asir-license" ]; then |
| |
ans="y" |
| |
else |
| |
read -p "(y/n/v)" ans |
| |
fi |
| if [ $ans = "y" ]; then |
if [ $ans = "y" ]; then |
| return |
return |
| fi |
fi |
| Line 56 _check_install_error() { |
|
| Line 65 _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 ; \ |
| fi |
fi |
| } |
} |
| Line 84 if [ ! -f $HOME/.asir-tmp/$otname ]; then |
|
| Line 93 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 ) ; \ |
| |
fi ; \ |
| |
if [ -f $HOME/.feprc ]; then \ |
| |
echo "Warning .feprc exists"; \ |
| |
echo "Copy .feprc from ~/.asir-tmp/$otname by hand."; \ |
| |
else (cd $HOME ; touch .feprc.sample ; /bin/cp -n .feprc.sample .feprc) ; \ |
| fi |
fi |
| fi |
fi |
| |
|