streams/util/update_widget_repo

42 lines
587 B
Text
Raw Normal View History

2018-05-21 18:01:03 +00:00
#!/usr/bin/env bash
set -f
2015-05-13 04:35:30 +00:00
if [ $# -ne 1 ]; then
echo usage: $0 repository
echo "Repositories:"
ls extend/widget
exit 1
fi
cd extend/widget/$1
if [ -d .git ] ; then
git pull
fi
cd ../../..
filelist=(`ls extend/widget/$1`)
cd widget
for a in "${filelist[@]}" ; do
base=`basename $a`
if [ $base = '.git' ]; then
# echo 'ignoring git'
continue;
fi
2018-05-04 06:20:09 +00:00
if [ ! -d ../extend/widget/$1/$base ]; then
# echo $a 'not a directory'
continue;
fi
2015-05-13 04:35:30 +00:00
if [ -x $base ]; then
# echo $base 'file exists'
continue;
fi
echo linking $base
ln -s ../extend/widget/$1/$base $base
done