Convert zsh script to posix sh

2013-09-13 16:08:00 +02:00 · 2013-09-13 16:08:00 +02:00 · a0644d9c80
commit a0644d9c80
parent 880f3248e0
1 changed files with 3 additions and 4 deletions
--- a/7
+++ b/7
@ -1,12 +1,11 @@
-#!/usr/bin/env zsh
+#!/bin/sh

 set -E
-setopt extended_glob

-DIRS=(
+DIRS="
  syntax indent ftplugin ftdetect autoload compiler
  after/syntax after/indent after/ftplugin after/ftdetect
-)
+"

 copy_dir() {
  if [ -d "$1/$2" ]; then