|
|
| version 1.10, 2001/09/20 06:06:05 | version 1.12, 2004/06/20 04:55:32 | ||
|---|---|---|---|
|
|
||
| #!/bin/sh | #!/bin/sh | ||
| # $OpenXM: OpenXM/rc/gen-shell-scripts,v 1.9 2001/09/18 05:30:55 takayama Exp $ | # $OpenXM: OpenXM/rc/gen-shell-scripts,v 1.11 2004/02/26 09:24:25 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 | ||
|
|
||
| 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 |