Main Page

Linux

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

Debian Linux

• Useful links
• Installation of Samsung printer driver
• Installation of ATI graphics adapter driver
• NetworkManager - manage wired networks
• Issues installing i386 .deb packages on Debian wheezy
• Adobe Acrobat Reader dispays strange font instead of Arial font
• Encrypting root partition with decryption key on USB thumb drive

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

WebApps

This section describes some tips/tricks/workarounds regarding the installation of some WebApps.

Owncloud

• Using Owncloud with an SSL proxy
• WebDAV HTTP authorization does not work

Android

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

• Force Android OTA update
• Read Android system update log file