sudo dpkg-reconfigure tzdata
Select your territory.
Then select your local time zone.
As you can see the time zone has now been changed.
Sorry this is so vague but as soon as I get a chance I will update this post with some more explanations.
import RPi.GPIO as GPIO
#use the Raspberry Pi pin numbers
#set the input with pull up control
GPIO.setup(11, GPIO.IN, pull_up_down=GPIO.PUD_UP)
GPIO.setup(18, GPIO.IN, pull_up_down=GPIO.PUD_UP)
#set the output pins
Once you have the file saved, run it in python and by pressing the buttons, the LED’s will turn on. To stop the program running, press CTRL+z.