add copyright headers, fix a few things

[distro-setup] / distro-end

diff --git a/distro-end b/distro-end
index dc97b0dd92834ef749801341d771c7c679ba206f..44be816d82fee63536c3a83adce2ad8bb5aa47a9 100755 (executable)
--- a/distro-end
+++ b/distro-end
@@ -59,19 +59,29 @@ case $HOSTNAME in
         # universal packages
         # swh-plugins is for karaoke pulsaudio filter.
         # mutagen for pithos
+        # lib32stdc++6/default-jdk for android studio
+        # android site says it needs a bunch of packages for ubuntu,
+        # but I googled for debian, and someone says you just need one, plus the
+        # jdk
+        # https://pid7007blog.blogspot.com/2015/07/installing-android-studio-in-debian-8.html
+        # see w.org for more android studio details
+        #
         simple_packages+=(
             apache2
             bwm-ng
             chromium
+            default-jdk
             duplicity
             evince
             fdupes
             filelight
             gdb
+            gitk
             goaccess
             gnome-screenshot
             jq
             locate
+            lib32stdc++6
             manpages
             meld
             nmap