Browse Source

Merge branch 'master' of rosencrantz:/srv/git/GRUtils

Getty Ritter 7 years ago
parent
commit
76c310ca3c
3 changed files with 354 additions and 1 deletions
  1. 3 1
      scripts/gdr-img
  2. 8 0
      scripts/ghc-wrapper
  3. 343 0
      scripts/license

+ 3 - 1
scripts/gdr-img

@@ -1,3 +1,5 @@
 #!/bin/sh
 
-scp $1 rosencrantz:/srv/http/gdr/www/imgs/.
+for f in $@; do
+    scp $f rosencrantz:/srv/http/gdr/www/imgs/.
+done

+ 8 - 0
scripts/ghc-wrapper

@@ -80,6 +80,14 @@ WARNING: This script is quite brittle and makes a lot of assumptions about
 how you lay things out! While I suspect it shouldn't actively break anything,
 be careful about using it!
 EOF
+elif [ ! -e ~/.current-ghc ]; then
+    # we haven't run this script before and don't have a .current-ghc, and
+    # we rely on having a binary _somewhere_, so let's use a default one
+    exec /usr/bin/ghc "$@"
+elif [ ! -e /home/gdritter/install/$(cat ~/.current-ghc)/bin/$(basename $0) ]; then
+    # we HAVE a .current-ghc but it doesn't exist, so let's also default to
+    # the one in /usr/bin
+    exec /usr/bin/ghc "$@"
 else
    exec /home/gdritter/install/$(cat ~/.current-ghc)/bin/$(basename $0) "$@"
 fi

File diff suppressed because it is too large
+ 343 - 0
scripts/license