version 1.9, 2001/09/18 05:30:55 |
version 1.13, 2004/06/21 06:06:15 |
|
|
#!/bin/sh |
#!/bin/sh |
# $OpenXM: OpenXM/rc/gen-shell-scripts,v 1.8 2000/03/06 09:16:08 takayama Exp $ |
# $OpenXM: OpenXM/rc/gen-shell-scripts,v 1.12 2004/06/20 04:55:32 takayama Exp $ |
|
|
|
# openxm |
|
rm -f openxm |
|
echo "#!/bin/sh" >openxm |
|
cat dot.bashrc >>openxm |
|
echo 'exec $*' >>openxm |
|
chmod +x openxm |
|
|
#asir |
#asir |
rm -f asir |
rm -f asir |
echo "#!/bin/sh" >asir |
echo "#!/bin/sh" >asir |
|
|
echo 'exec $OpenXM_HOME/bin/asir $*' >>asir |
echo 'exec $OpenXM_HOME/bin/asir $*' >>asir |
chmod +x asir |
chmod +x asir |
|
|
|
#webasir |
|
rm -f webasir |
|
echo "#!/bin/sh" >webasir |
|
cat dot.bashrc >>webasir |
|
echo 'exec $OpenXM_HOME/bin/sm1 -s "[(parse) (httpd-asir.sm1) pushfile] extension ; asirweb " ' >>webasir |
|
chmod +x webasir |
|
|
#sm1 |
#sm1 |
rm -f sm1 |
rm -f sm1 |
echo "#!/bin/sh" >sm1 |
echo "#!/bin/sh" >sm1 |
|
|
chmod +x sm1 |
chmod +x sm1 |
|
|
#gp |
#gp |
rm -f oxgp |
# rm -f oxgp |
echo "#!/bin/sh" >oxgp |
# echo "#!/bin/sh" >oxgp |
cat dot.bashrc >>oxgp |
# cat dot.bashrc >>oxgp |
echo 'exec $OpenXM_HOME/bin/gp $*' >>oxgp |
# echo 'exec $OpenXM_HOME/bin/gp $*' >>oxgp |
chmod +x oxgp |
# chmod +x oxgp |
|
|
#oxmath |
#oxmath |
rm -f oxmath |
rm -f oxmath |