desktop/wmii: Fixed for bash4.

This commit is contained in:
David Somero 2010-05-19 02:32:31 -04:00
parent a75ca2fd55
commit 5c826cf70b

View file

@ -86,12 +86,8 @@ mv $PKG/etc/wmii-3.5/wmiirc $PKG/etc/wmii-3.5/wmiirc.new
mv $PKG/etc/wmii-3.5/welcome $PKG/etc/wmii-3.5/welcome.new mv $PKG/etc/wmii-3.5/welcome $PKG/etc/wmii-3.5/welcome.new
mv $PKG/etc/wmii-3.5/rc.wmii $PKG/etc/wmii-3.5/rc.wmii.new mv $PKG/etc/wmii-3.5/rc.wmii $PKG/etc/wmii-3.5/rc.wmii.new
( cd $PKG find $PKG | xargs file | grep -e "executable" -e "shared object" | grep ELF \
find . | xargs file | grep "executable" | grep ELF | cut -f 1 -d : | \ | cut -f 1 -d : | xargs strip --strip-unneeded 2> /dev/null || true
xargs strip --strip-unneeded 2> /dev/null || true
find . | xargs file | grep "shared object" | grep ELF | cut -f 1 -d : | \
xargs strip --strip-unneeded 2> /dev/null
)
( cd $PKG/usr/man ( cd $PKG/usr/man
find . -type f -exec gzip -9 {} \; find . -type f -exec gzip -9 {} \;