diff options
Diffstat (limited to 'devfiles/scripts')
| -rwxr-xr-x | devfiles/scripts/compile-videos.sh | 18 | 
1 files changed, 12 insertions, 6 deletions
diff --git a/devfiles/scripts/compile-videos.sh b/devfiles/scripts/compile-videos.sh index 27ac838..918b592 100755 --- a/devfiles/scripts/compile-videos.sh +++ b/devfiles/scripts/compile-videos.sh @@ -2,11 +2,17 @@  for i in $DEVFILES/videos/*; do      level=`basename $i` -    for j in $i/*.json; do -        id=`basename $j .json` -        echo "set strings['/training/${level}']['${id}'] = '" -        cat $j|sed "s/'/\\\'/g" -        echo "';" -    done +    if [ "$level" != "playlist.json" ]; then +        for j in $i/*.json; do +            id=`basename $j .json` +            echo "set strings['/training/${level}']['${id}'] = '" +            cat $j|sed "s/'/\\\'/g" +            echo "';" +        done +    fi  done +# Default Playlist +echo "set strings['defaultPlaylist']['value'] = '" +cat $DEVFILES/videos/playlist.json +echo "';"  | 
