diff options
| author | Avery Pennarun <apenwarr@gmail.com> | 2011-01-18 20:16:24 -0800 |
|---|---|---|
| committer | Avery Pennarun <apenwarr@gmail.com> | 2011-01-22 16:44:15 -0800 |
| commit | 191d97a8978022b6a040183cce60f4809d49b138 (patch) | |
| tree | 77e48b5fd5ec16af22ddd2da7a2581cccf8c2b2e | |
| parent | da7a490cd7ce98906c86cccc73cbffa4802669d5 (diff) | |
ui-macos/default.app.do: get rid of some duplicated files.
| -rw-r--r-- | ui-macos/default.app.do | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/ui-macos/default.app.do b/ui-macos/default.app.do index f0b1eec..6acb47d 100644 --- a/ui-macos/default.app.do +++ b/ui-macos/default.app.do @@ -12,16 +12,16 @@ cp "$TOP/Info.plist" . mkdir MacOS cp "$TOP/bits/runpython" "$TOP/bits/run" MacOS/ -mkdir Resources Resources/English.lproj -cp "$TOP/MainMenu.nib" Resources/English.lproj +mkdir Resources cd "$TOP" while read name newname; do [ -z "$name" ] && continue - outname=$1.app/Contents/Resources/$name + : "${newname:=$name}" + outname=$1.app/Contents/Resources/$newname outdir=$(dirname "$outname") [ -d "$outdir" ] || mkdir "$outdir" - cp "${name-newname}" "$outname" + cp "${name-$newname}" "$outname" done <sources.list cd "$1.app" |