Lénaïc Bagnères, hnc@singularity.fr | bagneres@lri.fr
Ph.D. student, supervised by Cédric Bastoul and Christine Eisenbeis
LRI (Laboratoire de Recherche en Informatique), Équipe Architectures parallèles ParSys
img/32x32/portrait_silhouette.png Main page
img/32x32/kdevelop.png Dev
img/32x32/adjustable_wrench_and_screwdriver.png Tools
img/32x32/erlenmeyer_flask.png Research
img/32x32/graduate_cap.png Teaching
img/32x32/cpp_src.png C++
img/32x32/coin.png Trade
img/32x32/debian.png Debian

img/48x48/debian.png Debian

Some tutorials, tips and tricks on Debian GNU/Linux.

img/48x48/information.png Tips & Tricks

img/32x32/cpu.png Use RAM As Filesystem

Create the /media/RAM directory.

Add this line in /etc/fstab file:
tmpfs /media/RAM tmpfs defaults,size=8G 0 0

You can use this command to mount /media/RAM mount -a

img/32x32/color_paint.png GCC Colors

Add these lines in ~/.profile file:
# Colored GCC warnings and errors
export GCC_COLORS='error=01;31:warning=01;35:note=01;36:caret=01;32:locus=01:quote=01'

You can use this command to take care ~/.profile without restart:
source ~/.profile

Source: stackoverflow - Improving g++ output

img/32x32/newspaper.png Other pages:
img/32x16/hard_disk.png Installation of common free softwares (How install packages on Debian GNU/Linux)
img/32x16/adjustable_wrench_and_screwdriver.png Development in C++ (Development in C++ with CMake and GCC)
img/32x16/information.png Tips & Tricks (Quick tips & tricks on Debian GNU/Linux)
img/32x16/smartphone.png Debian On Android (Debian GNU/Linux on Android (ext3 µSD, chroot))