I can reproduce it easily with Ubuntu 13.04 (raring) with kernel 3.8.0-29-generic.
To make clarify what happens:
There are 4 ways to get the current speaker mute status:
1. The mute led on the physical mute button.
2. The /proc/acpi/ibm/volume file
3. The icon (I'm currently using gnome-shell)
4. The PulseAudio Volume Control
To mute/unmute there are 3 methods:
a. The hardware mute button for the speaker.
b. The slider for the volume icon in gnome-shell
c. PulseAudio Volume Control
If I use method a then all four statuses remain in sync. If I use method b or c to mute then 1 and 2 don't change.
I can reproduce it easily with Ubuntu 13.04 (raring) with kernel 3.8.0-29-generic.
To make clarify what happens: ibm/volume file
There are 4 ways to get the current speaker mute status:
1. The mute led on the physical mute button.
2. The /proc/acpi/
3. The icon (I'm currently using gnome-shell)
4. The PulseAudio Volume Control
To mute/unmute there are 3 methods:
a. The hardware mute button for the speaker.
b. The slider for the volume icon in gnome-shell
c. PulseAudio Volume Control
If I use method a then all four statuses remain in sync. If I use method b or c to mute then 1 and 2 don't change.