欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
MacOS
来自开放百科 - 灰狐
您可以在Wikipedia上了解到此条目的英文信息 MacOS Thanks, Wikipedia. |
Mac OS X 是苹果公司(原苹果电脑公司)为麦金塔电脑开发的专属操作系统Mac OS的最新版本。Mac OS X于2001年首次在市场上推出,并从2002年起随麦金塔电脑发售。它是一套Unix基础的操作系统,包含两个主要的部份:核心名为Darwin,是以FreeBSD源代码和Mach微核心为基础,由苹果公司和独立开发者社区协力开发;及一个由苹果电脑开发,名为Aqua之专有版权的图形用户界面。
目录 |
Port
安装 MacPorts
cd MacPorts-2.0.3 ./configure && make && sudo make install add /opt/local/bin to your PATH vim /etc/profile export PATH=/opt/local/bin:$PATH sudo port -v selfupdate port list port search php5 port info php5 port deps php5 port variants php5 sudo port install nmap sudo port clean --all nmap sudo port uninstall nmap port installed port -v installed nmap port outdated sudo port upgrade nmap port dependents openssl port livecheck rrdtool ...
Windows
Mac OS X 与 Windows 的集成
让MAC OS X 访问 Windows 共享文件
Web Server
Nginx
wget ftp://ftp.csx.cam.ac.uk/pub/software/programming/pcre/pcre-8.21.zip ./config --prefix=/usr/local make sudo make install wget http://nginx.org/download/nginx-1.0.10.tar.gz ./config --prefix=/usr/local --with-http_ssl_module make sudo make install cd /usr/local/sbin sudo ./nginx
Apache
cd /usr/sbin sudo httpd -k start
Database
PostgreSQL
MySQL
NoSQL
LLVM
sudo ln -s /usr/bin/llvm-gcc-4.2 /usr/bin/gcc-4.2 sudo ln -s /usr/bin/llvm-g++-4.2 /usr/bin/g++-4.2
Java
Oracle JDK7 Mac OS X Port Developer Preview Release
vi /etc/profile
JAVA_HOME=/Library/Java/JavaVirtualMachines/JDK 1.7.0 Developer Preview.jdk/Contents/Home export JAVA_HOME
No Java runtime present, requesting install. 的解决方法
Java for OS X Lion Update 1 updating Java SE 6 to 1.6.0_29.
技巧
我在设备中运行Xcode,安装 iOS 5.0 Simulator 出现以下错误,需要将Xcode安装到应用程序里,就OK了。
chmod: Unable to change file mode on Xcode: Read-only file system
链接
<discussion>characters_max=300</discussion>
分享您的观点