OpenXM/src/asir-port/asir-port.sh - diff

Return to asir-port.sh CVS log

Up to [local] / OpenXM / src / asir-port

version 1.16, 2007/11/18 01:56:25

version 1.18, 2009/09/13 01:18:53

Line 1

#!/bin/bash

# $OpenXM: OpenXM/src/asir-port/asir-port.sh,v 1.15 2006/06/28 12:13:54 takayama Exp $

# $OpenXM: OpenXM/src/asir-port/asir-port.sh,v 1.17 2009/02/24 10:21:52 takayama Exp $

# Downloading Risa/Asir for FLL-free systems.

# Risa/Asir is installed under $HOME/.asir-tmp/$asirname

# Symbolic link to $asirname from $OpenXM_HOME/bin/asir must exist

Line 41 _agree() {

echo "Do you agree with the licenses under $OpenXM_HOME/Copyright?"

echo "------------------------------------------------------------------"

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

return

Line 89 if [ ! -f $HOME/.asir-tmp/$otname ]; then

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."; \

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) ; \