Commit bdb854cff1dce892b86c3c672d4213b56c564354

Authored by Antonio Terceiro
1 parent 77fa2aec

properly remove local repository

Showing 1 changed file with 1 additions and 1 deletions   Show diff stats
script/install-dependencies/debian-wheezy.sh
@@ -54,7 +54,7 @@ if test -f tmp/debian/Release.gpg; then @@ -54,7 +54,7 @@ if test -f tmp/debian/Release.gpg; then
54 echo "deb file://$(pwd)/tmp/debian/ ./" | sudo tee /etc/apt/sources.list.d/local.list 54 echo "deb file://$(pwd)/tmp/debian/ ./" | sudo tee /etc/apt/sources.list.d/local.list
55 sudo apt-key add tmp/debian/signing-key.asc 55 sudo apt-key add tmp/debian/signing-key.asc
56 else 56 else
57 - rm -f /etc/apt/sources.list.d/local.list 57 + sudo rm -f /etc/apt/sources.list.d/local.list
58 fi 58 fi
59 59
60 run sudo apt-get update 60 run sudo apt-get update