📄 build
字号:
#!/bin/bash## Script to build GTK-server## Peter van Eerten - peter@gtk-server.org##-------------------------------------------------------trap 'echo; echo; exit' ERR SIGQUIT SIGINT SIGKILLif [[ `whoami` != "root" ]]then echo echo "You have to SU to root first!" echo exitfi# Make sure tree is cleanif [[ -f Makefile ]]then make clean > /dev/null 2>&1fi# Wait for userechoecho "This script compiles the GTK-server and installs it on your system."echoread -p "Do you want to continue (y/n)?" VARif [[ ${VAR} = "n" ]]then echo echo "Exiting..." echo exitfiechoecho "*** Running configure for standalone GTK-server ***"echoif [[ `uname` = *BSD* ]]then ./configure --prefix=/usr --sysconfdir=/etc --with-gtk2else ./configure --prefix=/usr --sysconfdir=/etcfiechoecho "*** Starting compilation ***"echomakeechoecho "*** Installing ***"echomake installechoecho "*** Done, cleaning up ***"echomake cleanechoecho "*** Running configure for GTK-server as shared object ***"echoif [[ `uname` = *BSD* ]]then ./configure --prefix=/usr --sysconfdir=/etc --enable-library --with-gtk2else ./configure --prefix=/usr --sysconfdir=/etc --enable-libraryfiechoecho "*** Starting compilation ***"echomakeechoecho "*** Installing ***"echomake installechoecho "*** Cleaning up ***"echomake deleteechoecho "*** Done! ***"echo
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -