From 3e6fdfaff690931411bfca82c1868ae0a5dfc9cd Mon Sep 17 00:00:00 2001
From: Hideki Yamane <henrich@debian.org>
Date: Thu, 20 Dec 2018 11:13:37 +0900
Subject: [PATCH] You don't need to add PPA for git

---
 linux-installer/idt-installer | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/linux-installer/idt-installer b/linux-installer/idt-installer
index 6554ded..84d2d79 100755
--- a/linux-installer/idt-installer
+++ b/linux-installer/idt-installer
@@ -234,11 +234,6 @@ function install_deps_with_apt_get {
     if [[ -z "$(which apt-get)" ]]; then
       error "'apt-get' is not found.  That's the only Debian/Ubuntu linux installer I know, sorry."
     fi
-    if [[ -z "$(which add-apt-repository)" ]]; then
-      $SUDO apt-get install -y software-properties-common python-software-properties
-    fi
-    $SUDO add-apt-repository -y ppa:git-core/ppa
-    $SUDO apt-get -y update
 
     #-- CURL:
     log "Installing/updating external dependency: curl"
@@ -510,4 +505,4 @@ function main {
 #------------------------------------------------------------------------------
 #-- Kick things off
 #------------------------------------------------------------------------------
-main "$@"
\ No newline at end of file
+main "$@"