| version 1.14, 2007/11/18 01:56:25 |
version 1.16, 2009/09/13 01:18:53 |
|
|
| #!/bin/bash |
#!/bin/bash |
| # $OpenXM: OpenXM/src/asir-port/asir-install.sh,v 1.13 2006/06/28 12:13:54 takayama Exp $ |
# $OpenXM: OpenXM/src/asir-port/asir-install.sh,v 1.15 2009/02/24 10:21:52 takayama Exp $ |
| # Downloading Risa/Asir for FLL-free systems |
# Downloading Risa/Asir for FLL-free systems |
| # under $HOME/.asir-tmp and installs asir to $OpenXM_HOME/bin |
# under $HOME/.asir-tmp and installs asir to $OpenXM_HOME/bin |
| # |
# |
|
|
| 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 |
read -p "(y/n/v)" ans |
| if [ $ans = "y" ]; then |
if [ $ans = "y" ]; then |
| return |
return |
| fi |
fi |
| Line 98 if [ ! -f $HOME/.asir-tmp/$otname ]; then |
|
| Line 98 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 ; cp -i .feprc.sample .feprc) ; \ |
| fi |
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