?? makedist.sh
字號:
#!/bin/sh## makedist - make a digital unix distribution.#rm -rf fltk-1.0.5-dunixmkdir fltk-1.0.5-dunixecho "Building distribution tree..."rm -rf usrmkdir usrmkdir usr/binmkdir usr/bin/X11mkdir usr/includemkdir usr/include/FLmkdir usr/infomkdir usr/info/fltkmkdir usr/libmkdir usr/manmkdir usr/man/man1cp ../../fluid/fluid usr/bin/X11strip usr/bin/X11/fluidcp ../../lib/libfltk.a usr/libcp ../../src/libfltk.so.1 usr/libln -sf libfltk.so.1 usr/lib/libfltk.socp ../../documentation/*.html usr/info/fltkcp ../../documentation/*.gif usr/info/fltkcp ../../documentation/*.jpg usr/info/fltkcp ../../documentation/fluid.1 usr/man/man1ln -sf FL usr/include/Flcd usr/include/FLcp ../../../../../FL/*.[hH] .for file in *.H; do ln -s $file `basename $file .H`.hdonecd ../../..kits fltk.key . fltk-1.0.5-dunixecho "Archiving distribution..."tar cf fltk-1.0.5-dunix.tar fltk-1.0.5-dunixecho "Compressing distribution..."rm -f fltk-1.0.5-dunix.tar.gzgzip -9 fltk-1.0.5-dunix.tarecho "Removing temporary distribution files..."rm -rf fltk-1.0.5-dunixrm -rf usr
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -