add aws_run_as

[bin.git] / new_home_directory

diff --git a/new_home_directory b/new_home_directory
index 706c1cb9562aa593dad3b39ae6c1b0b40ce427bc..51f3f867409d688b17c032e9a69f8984c51ed232 100755 (executable)
--- a/new_home_directory
+++ b/new_home_directory
@@ -18,15 +18,19 @@ for pkg in mr vcsh; do
         echo "Package $pkg doesn't exist; getting it"
         mkdir -p local_packages/$pkg;
         (cd local_packages/$pkg;
         echo "Package $pkg doesn't exist; getting it"
         mkdir -p local_packages/$pkg;
         (cd local_packages/$pkg;

+         deb_name=$pkg
+         if [ $pkg = "mr" ]; then
+             deb_name=myrepos
+         fi;

          if which apt-get >/dev/null 2>&1; then
          if which apt-get >/dev/null 2>&1; then

-             apt-get download $pkg;
-             dpkg-deb -x $pkg*.deb .
+             apt-get download $deb_name;
+             dpkg-deb -x ${deb_name}*.deb .

          else
              # ok, this host isn't Debian.
          else
              # ok, this host isn't Debian.

-             if [ "$pkg" == "mr" ]; then
+             if [ "$pkg" = "mr" ]; then

                  wget http://http.debian.net/debian/pool/main/m/myrepos/myrepos_1.20160123_all.deb
                  ar p myrepos*.deb data.tar.xz|xz --decompress|tar -x
                  wget http://http.debian.net/debian/pool/main/m/myrepos/myrepos_1.20160123_all.deb
                  ar p myrepos*.deb data.tar.xz|xz --decompress|tar -x

-             elif [ "$pkg" == "vcsh" ]; then
+             elif [ "$pkg" = "vcsh" ]; then

                  wget http://http.debian.net/debian/pool/main/v/vcsh/vcsh_1.20151229-1_all.deb
                  ar p vcsh*.deb data.tar.xz|xz --decompress|tar -x
              fi;
                  wget http://http.debian.net/debian/pool/main/v/vcsh/vcsh_1.20151229-1_all.deb
                  ar p vcsh*.deb data.tar.xz|xz --decompress|tar -x
              fi;


@@ -35,8 +39,8 @@ for pkg in mr vcsh; do
         );
         mkdir -p bin
         ln ~/local_packages/$pkg/usr/bin/$pkg bin/$pkg -s
         );
         mkdir -p bin
         ln ~/local_packages/$pkg/usr/bin/$pkg bin/$pkg -s

-        if [ "$pkg" == "mr" ]; then
-            echo -e "[DEFAULT]\ninclude = cat ~/local_packages/$pkg/usr/share/mr/*" >> ~/.mrconfig
+        if [ "$pkg" = "mr" ]; then
+            printf '[DEFAULT]\ninclude = cat ~/local_packages/%s/usr/share/mr/*' "$pkg" >> ~/.mrconfig

         fi;
         PATH="$HOME/local_packages/$pkg/usr/bin/:$PATH"
         export PATH
         fi;
         PATH="$HOME/local_packages/$pkg/usr/bin/:$PATH"
         export PATH


@@ -83,6 +87,14 @@ if [ ! -e .ssh/authorized_keys ]; then
     (cd .ssh/; ln authorized_keys_default authorized_keys -s; )
 fi;
 
     (cd .ssh/; ln authorized_keys_default authorized_keys -s; )
 fi;
 

+if [ ! -e ~/bin/.git ]; then
+    # OK, bin must have already existed; check it out directly
+    mv bin bin.tmp;
+    PATH=~/bin.tmp:$PATH mr checkout bin;
+    mv bin.tmp/* bin;
+    rmdir bin.tmp;
+fi;
+

 # do some cleanup; you might want to run git reset --hard in some
 # cases; we don't do so automatically in case there are local changes
 # that should be kept
 # do some cleanup; you might want to run git reset --hard in some
 # cases; we don't do so automatically in case there are local changes
 # that should be kept