Dev#142668 anais demande de mise a jour charte graphique plus rapide
Merged
requested to merge dev#142668_anais_demande_de_mise_a_jour_charte_graphique_plus_rapide into master
3 unresolved threads
Merge request reports
Activity
Filter activity
- Resolved by efalcy
- Resolved by efalcy
- scripts/update_skins.sh 0 → 100644
15 function gitpull() { 16 local skin=$1 17 local filename=$2 18 19 cd "skins/"${skin} && \ 20 git reset --hard HEAD && git pull --rebase > $LOGFILE 2>&1 21 cd - 22 updateFile $skin $filename 'action' "done" 23 updateFile $skin $filename 'log' "`cat ${LOGFILE}`" 24 } 25 26 27 function gitclone() { 28 local skin=$1 29 local filename=$2 30 local url=`jq -r ".[\"${skin}\"].url" $filename".lock"` - scripts/update_skins.sh 0 → 100644
48 cp $donefile $lockfile 49 } 50 51 52 function shouldUpdateSkin() { 53 local skin=$1 54 local filename=$2 55 jq -rC ".[\"${skin}\"].action == \"update\" |@sh" $filename".lock" 56 } 57 58 59 function writeUpdateLog() { 60 local skin=$1 61 local filename=$2 62 local mydate=$(date +%m/%d/%Y' '%T) 63 updateFile $skin $filename 'status' "Mis a jour le ${mydate}" mentioned in commit f7b6272d