diff options
Diffstat (limited to 'util/update_widget_repo')
| -rwxr-xr-x | util/update_widget_repo | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/util/update_widget_repo b/util/update_widget_repo index 045122619..70d09f959 100755 --- a/util/update_widget_repo +++ b/util/update_widget_repo @@ -1,4 +1,6 @@ -#!/bin/bash -f +#!/usr/bin/env bash + +set -f if [ $# -ne 1 ]; then echo usage: $0 repository @@ -25,6 +27,10 @@ for a in "${filelist[@]}" ; do # echo 'ignoring git' continue; fi + if [ ! -d ../extend/widget/$1/$base ]; then +# echo $a 'not a directory' + continue; + fi if [ -x $base ]; then # echo $base 'file exists' continue; |