various fixes and improvements

[distro-setup] / distro-end

diff --git a/distro-end b/distro-end
index 64441d1cfc9d477847610a3158b8b72ac2f6a438..0e7c4b8197dab344b80a00602e76365deaa84dfa 100755 (executable)
--- a/distro-end
+++ b/distro-end
@@ -609,25 +609,27 @@ fi
 sgo fsf-vpn-dns-cleanup
 
 
-case $distro in
-  debian)
-    pi chromium ;;
-  trisquel|ubuntu)
-    wget -qO - https://downloads.iridiumbrowser.de/ubuntu/iridium-release-sign-01.pub|sudo apt-key add -
-    t=$(mktemp)
-    cat >$t <<EOF
-deb [arch=amd64] https://downloads.iridiumbrowser.de/deb/ stable main
-#deb-src https://downloads.iridiumbrowser.de/deb/ stable main
-EOF
-    f=/etc/apt/sources.list.d/iridium-browser.list
-    if ! diff -q $t $f; then
-      s cp $t $f
-      s chmod 644 $f
-      p update
-    fi
-    pi iridium-browser
-    ;;
-esac
+# website is dead june 14 2019
+s rm -f /etc/apt/sources.list.d/iridium-browser.list
+# case $distro in
+#   debian)
+#     pi chromium ;;
+#   trisquel|ubuntu)
+#     wget -qO - https://downloads.iridiumbrowser.de/ubuntu/iridium-release-sign-01.pub|sudo apt-key add -
+#     t=$(mktemp)
+#     cat >$t <<EOF
+# deb [arch=amd64] https://downloads.iridiumbrowser.de/deb/ stable main
+# #deb-src https://downloads.iridiumbrowser.de/deb/ stable main
+# EOF
+#     f=/etc/apt/sources.list.d/iridium-browser.list
+#     if ! diff -q $t $f; then
+#       s cp $t $f
+#       s chmod 644 $f
+#       p update
+#     fi
+#     pi iridium-browser
+#     ;;
+# esac
 
 
 ### begin home vpn server setup
@@ -729,6 +731,9 @@ EOF
 fi
 #########  end  pump.io periodic backup #############
 
+# https://github.com/jlebon/textern
+cd /a/opt/textern
+make native-install USER=1
 
 case $distro in
   debian|trisquel|ubuntu)