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

Gnome Desktop Environment

• Missing Gnome symbols
• Missing Icon of the PulseAudio Applet

General

• Adding custom entries to GRUB 2
• Prism 1.0b3 Add-on with Firefox 3.5
• Setting default ALSA output to HDMI audio
• Forward all ALSA output to Pulseaudio
• Sound does not work on Sony VAIO VPCEC1M1E
• CUPS: All pages except the first page are printed incorrect