From b4d5faa91b572b136ff1eb31875e2969675cb4b7 Mon Sep 17 00:00:00 2001
From: Ciro Santilli <ciro.santilli@savoirfairelinux.com>
Date: Fri, 12 Feb 2016 15:43:26 +0100
Subject: [PATCH] chown after sudo install
---
ubuntu-15.10-install.sh | 3 +++
1 file changed, 3 insertions(+)
diff --git a/ubuntu-15.10-install.sh b/ubuntu-15.10-install.sh
index b07984a5..2c6c7e8c 100755
--- a/ubuntu-15.10-install.sh
+++ b/ubuntu-15.10-install.sh
@@ -28,6 +28,9 @@ done
make_install() {
if $1; then
sudo make install
+ # Or else the next non-sudo install will fail, because this generates some
+ # root owned files like install_manifest.txt under the build directory.
+ sudo chown -R "$USER" .
else
make install
fi
--
GitLab