From d8081bcb0079cca53acdd0fbf0053f623b157e0d Mon Sep 17 00:00:00 2001 From: root Date: Tue, 8 Oct 2019 16:15:05 +0000 Subject: [PATCH] Remove 'dev' + add note about legacy code --- should_i_rebuild.sh | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/should_i_rebuild.sh b/should_i_rebuild.sh index b77fe737..a70f12b8 100644 --- a/should_i_rebuild.sh +++ b/should_i_rebuild.sh @@ -15,14 +15,12 @@ git pull if [ "$before_pull_commit" != "$(git show HEAD | head -n 1)" ] then - #python ./list_builder.py -g $1 official.json - #python ./list_builder.py -g $1 community.json - #python ./list_builder.py -g $1 dev.json python ./list_builder.py -g $1 apps.json - python ./update_translations.py official-build.json community-build.json dev-build.json + # FIXME : this code should probably be moved to "apps.json" nowadays ... + python ./update_translations.py official-build.json community-build.json - for i in official community dev + for i in official community do if [ "$(git status -s| grep "M locales-$i/en.json")" ] then