shell/aliases: add alias for git annex (ga)

[config/dotfiles.git] / bin / srandom-order

diff --git a/bin/srandom-order b/bin/srandom-order
index 5469703b7024ad042dc913b3a7cf4c7b467a0c3e..45297be986534c48b7449ca9dc063011caee753c 100755 (executable)
--- a/bin/srandom-order
+++ b/bin/srandom-order
@@ -3,7 +3,7 @@
 # Run all files in the current directory (recursively) in a random order with
 # the given program.
 
-# Copyright (C) 2012-2013  Simon Ruderich
+# Copyright (C) 2012-2014  Simon Ruderich
 #
 # This program is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
@@ -19,7 +19,7 @@
 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 
-set -e
+set -eu
 
 if test "$#" -eq 0; then
     echo "Usage: $0 <program-args>.." >&2