First boot animation can't be muted

[Matthew Paul Thomas]

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