getting small .ogg sound bites

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 ( Downloading requires email registration.
Audacity supports Ogg Vorbis, so you can use Audacity to convert files to Ogg format if necessary.