diff options
Diffstat (limited to 'util/update_theme_repo')
| -rwxr-xr-x | util/update_theme_repo | 38 |
1 files changed, 35 insertions, 3 deletions
diff --git a/util/update_theme_repo b/util/update_theme_repo index 51d2f4175..443b26591 100755 --- a/util/update_theme_repo +++ b/util/update_theme_repo @@ -1,10 +1,42 @@ #!/bin/sh -f -if [ $# -eq '2' ]; then - echo usage: $0 nickname + +if [ $# -ne 1 ]; then + echo usage: $0 repository + echo "Repositories:" + ls extend/theme exit 1 fi cd extend/theme/$1 -git pull + +if [ -d .git ] ; then + git pull +fi + +cd ../../.. + +filelist=(`ls extend/theme/$1`) + +cd view/theme + +for a in "${filelist[@]}" ; do + base=`basename $a` + if [ $base = '.git' ]; then +# echo 'ignoring git' + continue; + fi + if [ ! -d ../../extend/theme/$1/$base ]; then +# echo $a 'not a directory' + continue; + fi + if [ -x $base ]; then +# echo $base 'file exists' + continue; + fi + + echo linking $base + ln -s ../../extend/theme/$1/$base $base +done + |