Code to make a raspberry pi play music when you push a button