On Wed, 3 Mar 2021, Greg Wooledge wrote:
OK, it's good that we can rule out some of the possible causes, like "permissions are wrong on /usr/bin" or "there's a cron job that deletes it every week". We're still left with a mystery, but it's slightly smaller now.
actually, it's still a mystery, as I changed nothing in my configuration and pulseaudio no more disapears! best regards, -- Pierre Frenkiel