import os
import time
import RPi.GPIO as GPIO

GPIO.setwarnings(False)
GPIO.setmode(GPIO.BOARD)
GPIO.setup(10, GPIO.IN, pull_up_down=GPIO.PUD_DOWN).

while True: # Run forever
  if GPIO.input(10) == GPIO.HIGH:
    #os.system("sudo killall -s SIGKILL vlc")
    #os.system("cvlc pl.m3u --random")
    print("Button was pushed!")
    time.sleep(1)

#GPIO.cleanup() # Clean up