⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 mkhuge

📁 很棒的在线教学系统
💻
字号:
#!/bin/sh## a shell script, which combines the ewiki.php library and some# default plugins into a huger include library#HUGE_FILE="huge-ewiki.php"CORE_FILE="ewiki.php"#-- current dirif [ -e "ewiki.php" ] ; then	DWP=.else	DWP=..fi#-- helpif [ "$1" == "-h" -o "$1" == "--help" ] ; then	echo "syntax: mkhuge"        echo "combines many of the plugins and the core ewiki.php file into a bigger lib."	exitfi#-- choose sizeN=$1 if [ -z "$N" ] ; then	N=0fiif [ "$1" -ge "3" ] ; then	PLUGINS="markup_phpwiki.php markup_bbcode.php spellcheck.php $PLUGINS"fiif [ "$1" -ge "2" ] ; then	PLUGINS="more_interwiki.php page_imagegallery.php $PLUGINS"fiif [ "$1" -ge "1" ] ; then	PLUGINS="diff.php page_randompage.php markup_footnotes.php page_wordindex.php $PLUGINS"fiPLUGINS="strip_wonderful_slashes.php calendar.php email_protect.php like_pages.php page_pageindex.php page_powersearch.php $PLUGINS"#-- proceedecho -n "writing: $CORE_FILE"cat $DWP/$CORE_FILE > $DWP/$HUGE_FILEfor ADD in $PLUGINSdo	echo -n "+$ADD"	for SUB in plugins fragments ; do		if [ -e "$DWP/$SUB/$ADD" ] ; then			ADD=$DWP/$SUB/$ADD		fi	done	cat $ADD >> $DWP/$HUGE_FILEdoneecho " > $DWP/$HUGE_FILE"echo "done."

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -