diff options
Diffstat (limited to 'util')
-rwxr-xr-x | util/add_addon_repo | 36 | ||||
-rwxr-xr-x | util/add_theme_repo | 37 |
2 files changed, 73 insertions, 0 deletions
diff --git a/util/add_addon_repo b/util/add_addon_repo new file mode 100755 index 000000000..1425143bb --- /dev/null +++ b/util/add_addon_repo @@ -0,0 +1,36 @@ +#!/bin/sh -f + +if [ $# -eq '3' ]; then + echo usage: $0 repo_url nickname + exit 1 +fi + +mkdir -p extend/addon/$2 +git clone $1 extend/addon/$2 +if [ $? -eq '0' ]; then + exit $? +fi + +filelist=(`ls extend/addon/$2`) + +cd addon +for a in "${filelist[@]}" ; do + base=`basename $a` + if [ $base = '.git' ]; then + echo 'ignoring git' + continue; + fi + if [ ! -d ../extend/addon/$2/$base ]; then + echo $a 'not a directory' + continue; + fi + echo linking $base + if [ -x $base ]; then + echo $base 'file exists' + continue; + fi + + ln -s ../extend/addon/$2/$base $base +done + + diff --git a/util/add_theme_repo b/util/add_theme_repo new file mode 100755 index 000000000..fe4384604 --- /dev/null +++ b/util/add_theme_repo @@ -0,0 +1,37 @@ +#!/bin/sh -f + + +if [ $# -eq '3' ]; then + echo usage: $0 repo_url nickname + exit 1 +fi + +mkdir -p extend/theme/$2 +git clone $1 extend/theme/$2 +if [ $? -eq '0' ]; then + exit $? +fi + +filelist=(`ls extend/theme/$2`) + +cd view/theme +for a in "${filelist[@]}" ; do + base=`basename $a` + if [ $base = '.git' ]; then + echo 'ignoring git' + continue; + fi + if [ ! -d ../../extend/theme/$2/$base ]; then + echo $a 'not a directory' + continue; + fi + echo linking $base + if [ -x $base ]; then + echo $base 'file exists' + continue; + fi + + ln -s ../../extend/theme/$2/$base $base +done + + |