Main Page

Linux

This section describes some tips/tricks/workarounds regarding to the Linux OS.

Debian Linux

• Installation of Samsung printer driver
• Installation of ATI graphics adapter driver
• NetworkManager - manage wired networks
• Setting default ALSA output to HDMI audio

Gnome Desktop Environment

• Missing Gnome symbols

General

• Adding custom entries to GRUB 2
• Prism 1.0b3 Add-on with Firefox 3.5
• Sound does not work on Sony VAIO VPCEC1M1E