| 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 |