Merge branch 'multimedia'

[config/dotfiles.git] / archive.sh

diff --git a/archive.sh b/archive.sh
index 7522747b0dacb84ea44bc4d92c85521a599b0647..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,12 +31,14 @@ 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
 
 git_clone . tmp/dotfiles
 for name in browser shell vcs vim x11; do
+    test -d $name || continue
+
     echo "cloning $name to tmp/"
     git_clone $name tmp/dotfiles/$name
 done