📄 phpextdist
字号:
#! /bin/sh
if test $# -lt 2; then
echo "usage: phpextdist <extension> <version>";
exit 1
fi
phpize=`php-config --prefix`/bin/phpize
distname="$1-$2"
if test ! -f Makefile.in || test ! -f config.m4; then
echo "Did not find required files in current directory"
exit 1
fi
rm -rf modules *.lo *.o *.la config.status config.cache \
config.log libtool php_config.h config_vars.mk Makefile
myname=`basename \`pwd\``
cd ..
cp -rp $myname $distname
cd $distname
$phpize
cd ..
tar cf $distname.tar $distname
rm -rf $distname $distname.tar.*
gzip --best $distname.tar
mv $distname.tar.gz $myname
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -