Merge branch 'multimedia'

[config/dotfiles.git] / archive.sh

diff --git a/archive.sh b/archive.sh
index 1cfaf93bbbe03e3490633197429eb2abf0c70366..26a0e8d667fb932068bed15ca2afc56ec4902d09 100755 (executable)
--- a/archive.sh
+++ b/archive.sh
@@ -21,7 +21,7 @@
 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 
-set -e
+set -eu
 
 git_clone() {
     git clone "$1" "$2" >/dev/null
@@ -31,7 +31,7 @@ git_clone() {
 
 # Don't overwrite an existing file/directory.
 if test -e tmp; then
-    echo "tmp/ already exists!"
+    echo 'tmp/ already exists!'
     exit 1
 fi