Subversion Repositories wimsdev

Rev

Rev 827 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 827 Rev 4475
Line 1... Line 1...
1
#! /bin/sh
1
#! /bin/sh
2
 
-
 
3
VERSION=357
-
 
4
 
2
 
5
cd `dirname $0`
3
cd `dirname $0`
-
 
4
## do not seem no more useful, except for updating very old versions of wims
-
 
5
### should be commented
6
./classupdate
6
./classupdate
7
cd ..
7
cd ..
8
wimshome=`pwd`
8
wimshome=`pwd`
9
 
9
 
10
if [ -z "$1" ]; then wimshome2=$wimshome; else wimshome2=$1; fi
10
if [ -z "$1" ]; then wimshome2=$wimshome; else wimshome2=$1; fi
11
 
-
 
12
#ed localwims <<@
-
 
13
#,s!WIMS_HOME=.*\$!WIMS_HOME=$wimshome!
-
 
14
#,w
-
 
15
#@
-
 
16
 
11
 
17
if [ ! -e s2 ]; then
12
if [ ! -e s2 ]; then
18
 if [ -f /cdrom/knowims-hd-install ]; then
13
 if [ -f /cdrom/knowims-hd-install ]; then
19
  mkdir -p -m og-rwx /ramdisk/s2
14
  mkdir -p -m og-rwx /ramdisk/s2
20
  ln -s /ramdisk/s2 .
15
  ln -s /ramdisk/s2 .
21
 else
16
 else
22
  mkdir -m og-rwx s2
17
  mkdir -m og-rwx s2
23
 fi
18
 fi
24
fi
19
fi
25
 
20
 
26
for d in public_html/modules public_html/modules/devel public_html/modules/local \
21
for d in public_html/modules public_html/modules/devel public_html/modules/local \
27
	public_html/bases public_html/bases/doc other log/classes \
22
	public_html/bases public_html/bases/doc other log/classes \
28
	public_html/modules/adm/local
23
	public_html/modules/adm/local
29
do
24
do
30
 mkdir -p $d
25
 mkdir -p $d
31
 echo $wimshome2 >$d/.wimshome 2>/dev/null
26
 echo $wimshome2 >$d/.wimshome 2>/dev/null
32
done
27
done
33
rm -fr public_html/modules/adm/coqw* 2>/dev/null
28
rm -fr public_html/modules/adm/coqw* 2>/dev/null
-
 
29
 
-
 
30
#########################
-
 
31
 
-
 
32
VERSION=357
34
 
33
 
35
v=`cat log/update-version 2>/dev/null`
34
v=`cat log/update-version 2>/dev/null`
36
if [ "$v" != "" ] && [ "$v" -ge "$VERSION" ]; then exit; fi
35
if [ "$v" != "" ] && [ "$v" -ge "$VERSION" ]; then exit; fi
37
 
36
 
-
 
37
## this is for update very old version of wims.
-
 
38
## depend of the log/update-version
-
 
39
## should be in an other file
-
 
40
 
-
 
41
echo "cleanup"
38
# cleanup list
42
# cleanup list
39
rmlist="scripts/chrono.js
43
rmlist="scripts/chrono.js
40
html/classes
44
html/classes
41
modules/home/modules
45
modules/home/modules
42
modules/home/tool
46
modules/home/tool