Commit Julien:
Champ de recherche de users et groups dans l'ajout de content, amélioré pour que le mot "recherche" disparaisse au moment ou l'on clique sur le champ. Meme modification dans la page "groups".
Permettre à un user qui a le droit de creer un group, d'en creer un (le label de la permission est "auth.add_group").
#!/usr/bin/env bash
set -e
if [ -d ~/tmp/platform_V$1 ]; then
rm -fr ~/tmp/platform_V$1;
fi
hg archive -r V$1 ~/tmp/platform_V$1
#text2unix ~/tmp/platform_V$1
if [ -d ~/tmp/platform_V$1 ]; then
cat <<EOT | rsync -Cvrlz --delete --filter=". -" ~/tmp/platform_V$1/virtualenv/ web.iri.centrepompidou.fr:projects/platform/virtualenv
+ core
P web/env/***
P setup/env/***
EOT
cat <<EOT | rsync -Cvrlz --delete --filter=". -" ~/tmp/platform_V$1/src/ldt/ web.iri.centrepompidou.fr:projects/platform/ldt
+ core
EOT
fi
if [ -d ~/tmp/platform_V$1 ]; then
echo "Deleting temp export"
rm -fr ~/tmp/platform_V$1;
fi