How to Set Up A Gitolite Git Server – A Ten-Minute Tutorial

I ever introduced seting up git server using SSH or gitosis. However, gitolite is the way to go for managing git servers if you want an lightweight authentication layer. gitolite provides many very usefull features which can control each user’s right on each branch. I set up one gitolite git server and am very happy […]

Infrastructure Software For Fedora

Fedora is a popular distro supported by the RedHat Corporation. This article recommends you some infrastructure software and how to install them in details. Minimize and Maximize window ∞ 1, Install software gnome-tweak-tool # yum install gnome-tweak-tool 2, Start gnome-tweak-tool and set minimizing and maximizing functions as follows. Actually, gnome-tweak-tool has more functions than what […]

How to Statically Link C and C++ Programs on Linux with gcc

Before statically linking you C and C++ programs, you should be aware of the drawbacks of the static linking especially with glibc. There are some good discussions already: with glibc you’re linking static programs which are not really static and some others here and here. That said, you can choose to statically link C and […]

Auto Indenting for OCaml Code in Vim with ocp-indent

The built-in indenting in Vim for OCaml seems not very good. How to set up auto indenting for OCaml code in Vim? ocp-indent works very well for me. This posts introduces how to configure Vim to use ocp-indent to automatically indent/format OCaml code. First, install ocp-indent after installing opam: $ opam install ocp-indent Second, configure […]

Sending Email Using mailx in Linux Through Internal SMTP

How to Send Email from mailx Command in Linux Using Gmail’s SMTP introduces how to send email using mailx or mail command in Linux through Gmail’s SMTP which requires some configuration. On the other hand, there are many environments that do not require SSL/TLS/etc. One example is the SMTP server ( for HKUST requires no […]

Managing Xen Dom0′s CPU and Memory

The performance of Xen’s Dom0 is important for the overall system. The disk and network drivers are running on Dom0. I/O intensive guests’ workloads may consume lots Dom0′s CPU cycles. The Linux kernel calculates various network related parameters based on the amount of memory at boot time. The kernel also allocate memory for storing memory […]

Unified Linux Login and Home Directory Using OpenLDAP and NFS/automount

In this post, how to unified Linux login and home directory using OpenLDAP and NFS/automount will be introduced. 0. System environment This solution is tested on Fedora 12 systems and CentOS 5. LDAP and NFS server: IP: OS: Fedora 12 x86_64 ldap base dn: “dc=lgcpu1″ Clients: IP: OS: Fedora 12 x86_64 1. LDAP […]