I would like to add small sounds to some video games I am developing, such as dings, beeps, knocks, scrapes, etc. I’m using a Raspberry Pi with Raspbian. Their sound package wants .ogg files. Any idea where I can find a library of such sounds that I can download?
A good source of free sound effects is Freesound.org (https://freesound.org). Downloading requires email registration.
Audacity supports Ogg Vorbis, so you can use Audacity to convert files to Ogg format if necessary.