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

General

• Adding custom entries to GRUB 2