Return to asir-port.sh CVS log | Up to [local] / OpenXM / src / asir-port |
version 1.14, 2006/06/28 11:41:11 | version 1.21, 2014/07/27 02:33:19 | ||
---|---|---|---|
|
|
||
#!/bin/sh | #!/bin/bash | ||
# $OpenXM: OpenXM/src/asir-port/asir-port.sh,v 1.13 2006/02/13 04:37:36 takayama Exp $ | # $OpenXM: OpenXM/src/asir-port/asir-port.sh,v 1.20 2013/02/15 05:06:21 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 | ||
|
|
||
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 | ||
|
|
||
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 | ||
} | } | ||
|
|
||
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 ; cp .feprc.sample .feprc) ; \ | |||
fi | fi | ||
fi | fi | ||