filesystem: backported dune upgrade fix.

This commit is contained in:
Ricardo Martins 2014-02-07 11:16:22 +00:00
parent 2950ac0ccc
commit 5171aee6a3

View File

@ -14,7 +14,7 @@ maybe_upgrade()
rm -rf $dune_base/.dune-upgrade &&
mkdir $dune_base/.dune-upgrade &&
tar -x -C $dune_base/.dune-upgrade -f $dune_base/dune-*.tar.bz2 &&
cp "$dune_base/etc/"*-saved.ini "$dune_base/.dune-upgrade/"dune-*/etc 2> /dev/null &&
cp "$dune_base/etc/"*-saved.ini "$dune_base/.dune-upgrade/"dune-*/etc 2> /dev/null
rm $dune_base/dune-*.tar.bz2 &&
for dir in $dune_base/.dune-upgrade/dune-*/*; do
d="$(basename "$dir")"