Hello Simon Simon Guilliams wrote on 02/06/2019 3:31 pm: >… > I am working full time in a _silent_ openspace. I was installing > ubuntu and luckily I knew in advance that the animation would pop up > with sound that you can't mute. >… > The animation is great... but really, the animation sound should at > least be mute-able! The volume keys on the keyboard are ignored and I > feel this is actually a bug. The animation is not skippable either. >… > What do you think about it? > Is this ok for a bug report? >…
I suggest two separate bug reports — one about the volume keys, and one about the animation not being skippable. Those two issues would probably be fixed by separate code changes, by different people, at different times. Cheers -- mpt -- Ubuntu-devel-discuss mailing list Ubuntu-devel-discuss@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel-discuss