diff options
Diffstat (limited to 'util/update_theme_repo')
| -rwxr-xr-x | util/update_theme_repo | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/util/update_theme_repo b/util/update_theme_repo index f7b26ae34..443b26591 100755 --- a/util/update_theme_repo +++ b/util/update_theme_repo @@ -13,3 +13,30 @@ cd extend/theme/$1 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 + + |