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

[config/dotfiles.git] / bin / mv-p

diff --git a/bin/mv-p b/bin/mv-p
index 62b1b364179c94c77135172dd1b852b4e3ee0d34..7259d33e6e0d5c47e96e5a15a393c8132536452f 100755 (executable)
--- a/bin/mv-p
+++ b/bin/mv-p
@@ -3,9 +3,28 @@
 # Wrapper command for `mv` which creates the target directory before moving
 # the file there.
 
+# Copyright (C) 2011-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
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
+
+
+set -eu
 
 # Get last argument.
-for last; do :; done
+for last; do
+    :
+done
 
 mkdir -p "`dirname "$last"`" \
     && mv "$@"