Brothers, I am a believer: Trust the community!
I received a message from chessnerd, who kindly shared a working solution for this problem with me. You can find chessnerd's original post here:
http://ubuntuforums.org/showthread.php?t=1331709
A resume of chessnerd's solution, which by the way worked for me:
1) Open Grub2 file.
Code:
sudo gedit /etc/default/grub
2) Add line on Grub2 file.
Code:
GRUB_CMDLINE_LINUX="nomodeset acpi_backlight=vendor"
3) Update Grub2.
4) Reboot your computer.
5) Now brightness should work as expected.
I must admit, I was tempted to try another disto because of not only this problem, but also of other two problems I was having with ad-hoc wireless connections and inverted touch pad two-finger-gestures, which I have more or less resolved by now.
My findings: if it does not work in Ubuntu, it does also not work anywhere else.
I think the problem lies actually on GNOME's brightness manager, which does not allow users to adjust the brightness and sets instead a default value every time the user tries to set the brightness up or down. It is just a feeling...
I hope this helps others further!
Bookmarks