diff options
Diffstat (limited to 'util/update_addon_repo')
| -rwxr-xr-x | util/update_addon_repo | 35 |
1 files changed, 32 insertions, 3 deletions
diff --git a/util/update_addon_repo b/util/update_addon_repo index d5dedeb50..c6c2c4a47 100755 --- a/util/update_addon_repo +++ b/util/update_addon_repo @@ -1,10 +1,39 @@ #!/bin/sh -f -if [ $# -eq '2' ]; then - echo usage: $0 nickname +if [ $# -ne 1 ]; then + echo usage: $0 repository + echo "Repositories:" + ls extend/addon exit 1 fi cd extend/addon/$1 -git pull +if [ -d .git ] ; then + git pull +fi + +cd ../../.. + +filelist=(`ls extend/addon/$1`) + +cd addon + +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 |