欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Huihoo CentOS Applications
Huihoo CentOS Applications 为 CentOS 应用软件包的安装、版本更新、迁移提供支持。
Packages rebuilt for CentOS - http://centos.karan.org/
以下信息针对 CentOS 5 版本
在安装软件包时,请先查看 Add/Remove Software 所提供的软件包列表是否包含你所需要的软件
目录 |
Java
下载 bin 二进制文件进行安装
wget http://download.huihoo.com/java/javase/5.0/linux/jdk-1_5_0_07-linux-i586.bin ./jdk-1_5_0_07-linux-i586.bin
或安装 RPM 保 Java RPM Packages: http://mirrors.dotsrc.org/jpackage/5.0/generic/
http://mirrors.dotsrc.org/jpackage/5.0/generic/SRPMS.non-free/ #yum install alternatives /usr/sbin/alternatives --config java // 多种 JDK 版本的切换,此功能对测试很有帮助
Middleware
- Apache HTTPD Server
/etc/init.d/httpd start or service httpd start // chkconfig httpd on /var/www/html/ /etc/httpd/conf.d/welcome.conf
- Tux
[root@centos init.d]# /etc/init.d/tux start Starting tux: Tux version: 3/0/0 /etc/tux.mime.types
- GlassFish
http://download.huihoo.com/middleware/glassfish/b48/b48-glassfish-sunos_x86.jar
- Geronimo
- JBoss
- Tomcat
C,C++
Emacs 的安装
可通过 Package Manager 安装 Emacs 和 Emacs no x , 其版本为 21.4.1
使用:
./emacs & // 有 GUI ./emacs-nox // 没有 GUI
libstdc++.so.5: cannot open shared object file: No such file or directory
RPM resource libstdc++.so.5 http://rpm2html.osmirror.nl/libstdc++.so.5.html
rpm -q --whatprovides libstdc++.so.5 compat-libstdc++-33-3.2.3-61 yum install libstdc++.so.5 :)
Ruby on Rails
LAMP
有关Python,PHP,Perl应用包的安装、使用
Subversion & Trac
基于 Apache 2.2.3 + Subversion 1.4.2 + Python 2.4.3 + SQLite 3.3.6 + Trac 0.10.4 架设。
参考: http://www.sofee.cn/blog/2007/06/19/54/
Database
通过系统提供的 Add/Remove Software 进行安装, 选杂 Server 的类别或通过 yum 安装
- PostgreSQL
# yum list postgresql-server # yum install postgresql-server # yum list postgresql # yum install postgresql
- MySQL
#yum list mysql
- Oracle XE
Oracle Database 10g Express Edition requires 1004 MB of swap space. This system has 988 MB of swap space.
#/etc/init.d/oracle-xe configure http://127.0.0.1:8080/apex
- Berkeley DB
Portal
- Liferay
- Apache Portal
- SUN Portal
- JBoss Portal
Tools
- Subversion
# yum install mod_dav_svn subversion
http://wiki.centos.org/SubVersion
- NetBeans
- Eclipse
Freeware
- wget -