make-binary-dist

来自「这是一个mp3的源代码」· 代码 · 共 49 行

#!/bin/sh

mixedname=$1
version=$2
osname=`uname | tr A-Z a-z`
name=`echo $mixedname | tr A-Z a-z`

if test $# -eq 0
then
   echo "Usage: make-binary-dist <playername> <version number> [extra info]"
   exit
fi

if test $# -eq 1
then
   if test $osname = "linux"
   then
      extra="x86-glibc2"
   fi
else
   extra=$3
fi

echo Creating $name-$version-$osname-$extra.tar.gz 

if test ! -f $name
then
   echo "This script should be run in the $name main directory."
else
   if test ! -d plugins
   then
       echo "This script should be run in the $name main directory."
   else
       mkdir $name-$version
       mkdir $name-$version/plugins
       mkdir $name-$version/themes
       mkdir $name-$version/help
       cp $name $name-$version
       cp plugins/*.* $name-$version/plugins
       cp AUTHORS CHANGES COPYING CHANGES INSTALL NEWS README README.linux \
          install-$name $name-$version
       cp themes/$mixedname.fat $name-$version/themes 
       cp "help/unix/"$name"help.tar.gz" $name-$version/help
       tar -czf $name-$version-$osname-$extra.tar.gz $name-$version
       rm -rf $name-$version
   fi
fi