Update remote resources
This commit is contained in:
parent
ecd039d74f
commit
1923aeea01
3 changed files with 1 additions and 1 deletions
|
@ -4,7 +4,7 @@ DIRECTORY=$(cd `dirname $0` && pwd)
|
||||||
GIT_SITE_DIR=$DIRECTORY/config/site
|
GIT_SITE_DIR=$DIRECTORY/config/site
|
||||||
LOCAL_SITE_DIR=/var/www-download
|
LOCAL_SITE_DIR=/var/www-download
|
||||||
|
|
||||||
files='*.php tile_sources.xml favicon.ico'
|
files='*.php resource/* tile_sources.xml favicon.ico'
|
||||||
for f in $files ; do
|
for f in $files ; do
|
||||||
cp $GIT_SITE_DIR/$f $LOCAL_SITE_DIR/ -u;
|
cp $GIT_SITE_DIR/$f $LOCAL_SITE_DIR/ -u;
|
||||||
done
|
done
|
||||||
|
|
Binary file not shown.
Before Width: | Height: | Size: 1.1 KiB After Width: | Height: | Size: 4 KiB |
Binary file not shown.
Before Width: | Height: | Size: 25 KiB |
Loading…
Reference in a new issue