From bdb854cff1dce892b86c3c672d4213b56c564354 Mon Sep 17 00:00:00 2001 From: Antonio Terceiro Date: Fri, 26 Sep 2014 16:26:52 -0300 Subject: [PATCH] properly remove local repository --- script/install-dependencies/debian-wheezy.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/script/install-dependencies/debian-wheezy.sh b/script/install-dependencies/debian-wheezy.sh index c1348ef..d960a0d 100644 --- a/script/install-dependencies/debian-wheezy.sh +++ b/script/install-dependencies/debian-wheezy.sh @@ -54,7 +54,7 @@ if test -f tmp/debian/Release.gpg; then echo "deb file://$(pwd)/tmp/debian/ ./" | sudo tee /etc/apt/sources.list.d/local.list sudo apt-key add tmp/debian/signing-key.asc else - rm -f /etc/apt/sources.list.d/local.list + sudo rm -f /etc/apt/sources.list.d/local.list fi run sudo apt-get update -- libgit2 0.21.2