Europe/Dublin

# Solution 1
# Set the default time zone
from datetime import datetime
# Import the pytz module
import pytz
  
# Create a timezone object
tz = pytz.timezone("Europe/Dublin")
# Get the current time
time_now = datetime.now(tz)
# Format the current time
current_time = time_now.strftime("%H:%M:%S")
  
# Print the current time
print("The current time:", current_time) # The current time: 00:00:00

/* 
* Solution 1
* Set the default time zone
*/
const date = new Date();
/* 
* Use the toLocaleString() method to get the current date and time in the specified time zone.
*/
const currentTime = date.toLocaleString("en-us", {timeZone: "Europe/Dublin"});
/* 
* Print the current date and time
*/
console.log(currentTime); // 1/1/2023, 12:00:00 AM