📄 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 + -