Compare commits
No commits in common. "ecfb7d82d4f386cea9b197f0916dd6e809364d76" and "4eb9c95b1ff2b7457836721616cfd81acb4ccd6b" have entirely different histories.
ecfb7d82d4
...
4eb9c95b1f
Binary file not shown.
|
@ -0,0 +1,14 @@
|
||||||
|
#!/bin/bash
|
||||||
|
|
||||||
|
# Se positionner sur la racine du projet
|
||||||
|
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
|
||||||
|
cd ${DIR}
|
||||||
|
DIR=$(pwd)
|
||||||
|
|
||||||
|
echo Mise à jour
|
||||||
|
git reset --hard origin/master
|
||||||
|
git pull
|
||||||
|
echo ""
|
||||||
|
echo Reconfiguration
|
||||||
|
scripts/reconfigure.sh
|
||||||
|
echo ""
|
Loading…
Reference in New Issue