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