| version 1.3, 2018/12/10 05:46:22 |
version 1.4, 2022/02/23 02:09:20 |
|
|
| #!/bin/sh |
#!/bin/sh |
| # $OpenXM: OpenXM/doc/OpenXM-web/src/os_muldif-get.sh,v 1.2 2017/06/12 04:29:12 takayama Exp $ |
# $OpenXM: OpenXM/doc/OpenXM-web/src/os_muldif-get.sh,v 1.3 2018/12/10 05:46:22 takayama Exp $ |
| OpenXM_HOME=/home/taka/OX4/OX64/OpenXM |
OpenXM_HOME=/home/taka/OX4/OX64/OpenXM |
| #OpenXM_HOME=/home/nobuki/OX4/OpenXM |
#OpenXM_HOME=/home/nobuki/OX4/OpenXM |
| OX_MULDIF=${OpenXM_HOME}/src/asir-contrib/packages/src/os_muldif.rr |
OX_MULDIF=${OpenXM_HOME}/src/asir-contrib/packages/src/os_muldif.rr |
|
|
| (cd muldif ; curl http://www.ms.u-tokyo.ac.jp/~oshima/muldif/os_muldif.dvi >os_muldif.dvi) |
(cd muldif ; curl http://www.ms.u-tokyo.ac.jp/~oshima/muldif/os_muldif.dvi >os_muldif.dvi) |
| fi |
fi |
| head -1 ${OX_MULDIF} >muldif/tmp-os_muldif.rr |
head -1 ${OX_MULDIF} >muldif/tmp-os_muldif.rr |
| cat muldif/os_muldif.rr >>muldif/tmp-os_muldif.rr |
sed -e '/$OpenXM.*takayama/d' muldif/os_muldif.rr >>muldif/tmp-os_muldif.rr |
| if diff -B -b -q muldif/tmp-os_muldif.rr ${OX_MULDIF} >/dev/null ; then |
if diff -B -b -q muldif/tmp-os_muldif.rr ${OX_MULDIF} >/dev/null ; then |
| echo "there is no change in os_muldif.rr" |
echo "there is no change in os_muldif.rr" |
| else |
else |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to os_muldif-get.sh CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / doc / OpenXM-web / src