Moved Opera to a separate install

catchpoint · Apr 26, 2019 · 9567def · 9567def
1 parent 1bf502e
commit 9567def
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 5 deletions.
diff --git a/opera_ubuntu.sh b/opera_ubuntu.sh
@@ -0,0 +1,10 @@
+#!/bin/bash
+wget -qO- https://deb.opera.com/archive.key | sudo apt-key add -
+sudo add-apt-repository -y 'deb https://deb.opera.com/opera-stable/ stable non-free'
+sudo add-apt-repository -y 'deb https://deb.opera.com/opera-beta/ stable non-free'
+sudo add-apt-repository -y 'deb https://deb.opera.com/opera-developer/ stable non-free'
+sudo apt-get update
+until sudo DEBIAN_FRONTEND=noninteractive apt-get install -yq opera-stable opera-beta opera-developer
+do
+    sleep 1
+done
diff --git a/ubuntu_install.sh b/ubuntu_install.sh
@@ -28,12 +28,8 @@ wget -q -O - https://dl-ssl.google.com/linux/linux_signing_key.pub | sudo apt-ke
 sudo sh -c 'echo "deb http://dl.google.com/linux/chrome/deb/ stable main" >> /etc/apt/sources.list.d/google.list' 
 sudo add-apt-repository -y ppa:ubuntu-mozilla-daily/ppa
 sudo add-apt-repository -y ppa:mozillateam/ppa
-wget -qO- https://deb.opera.com/archive.key | sudo apt-key add -
-sudo add-apt-repository -y 'deb https://deb.opera.com/opera-stable/ stable non-free'
-sudo add-apt-repository -y 'deb https://deb.opera.com/opera-beta/ stable non-free'
-sudo add-apt-repository -y 'deb https://deb.opera.com/opera-developer/ stable non-free'
 sudo apt-get update
-until sudo DEBIAN_FRONTEND=noninteractive apt-get install -yq google-chrome-stable google-chrome-beta google-chrome-unstable firefox firefox-trunk firefox-esr opera-stable opera-beta opera-developer
+until sudo DEBIAN_FRONTEND=noninteractive apt-get install -yq google-chrome-stable google-chrome-beta google-chrome-unstable firefox firefox-trunk firefox-esr
 do
     sleep 1
 done