Advertisement
GenialJerome

Date

Aug 24th, 2016
65
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Lua 2.46 KB | None | 0 0
  1. local date = {}
  2.  
  3. -- Les mois
  4. date["mois"] = {}
  5. -- En lettre
  6. date["mois"]["lettre"] = {}
  7. date["mois"]["lettre"]["Jan"] = "Janvier"
  8. date["mois"]["lettre"]["Feb"] = "Février"
  9. date["mois"]["lettre"]["Mar"] = "Mars"
  10. date["mois"]["lettre"]["Apr"] = "Avril"
  11. date["mois"]["lettre"]["May"] = "Mai"
  12. date["mois"]["lettre"]["Jun"] = "Juin"
  13. date["mois"]["lettre"]["Jul"] = "Juillet"
  14. date["mois"]["lettre"]["Aug"] = "Août"
  15. date["mois"]["lettre"]["Sep"] = "Septembre"
  16. date["mois"]["lettre"]["Oct"] = "Octobre"
  17. date["mois"]["lettre"]["Nov"] = "Novembre"
  18. date["mois"]["lettre"]["Dec"] = "Décembre"
  19. -- En nombre
  20. date["mois"]["nombre"] = {}
  21. date["mois"]["nombre"]["Jan"] = "01"
  22. date["mois"]["nombre"]["Feb"] = "02"
  23. date["mois"]["nombre"]["Mar"] = "03"
  24. date["mois"]["nombre"]["Apr"] = "04"
  25. date["mois"]["nombre"]["May"] = "05"
  26. date["mois"]["nombre"]["Jun"] = "06"
  27. date["mois"]["nombre"]["Jul"] = "07"
  28. date["mois"]["nombre"]["Aug"] = "08"
  29. date["mois"]["nombre"]["Sep"] = "09"
  30. date["mois"]["nombre"]["Oct"] = "10"
  31. date["mois"]["nombre"]["Nov"] = "11"
  32. date["mois"]["nombre"]["Dec"] = "12"
  33.  
  34. -- Les jours
  35. date["jour"] = {}
  36. -- En lettre
  37. date["jour"]["lettre"] = {}
  38. date["jour"]["lettre"]["Mon"] = "Lundi"
  39. date["jour"]["lettre"]["Tue"] = "Mardi"
  40. date["jour"]["lettre"]["Wed"] = "Mercredi"
  41. date["jour"]["lettre"]["Thu"] = "Jeudi"
  42. date["jour"]["lettre"]["Fri"] = "Vendredi"
  43. date["jour"]["lettre"]["Sat"] = "Samedi"
  44. date["jour"]["lettre"]["Sun"] = "Dimanche"
  45. -- En nombre
  46. date["jour"]["nombre"] = {}
  47. date["jour"]["nombre"]["Mon"] = "1"
  48. date["jour"]["nombre"]["Tue"] = "2"
  49. date["jour"]["nombre"]["Wed"] = "3"
  50. date["jour"]["nombre"]["Thu"] = "4"
  51. date["jour"]["nombre"]["Fri"] = "5"
  52. date["jour"]["nombre"]["Sat"] = "6"
  53. date["jour"]["nombre"]["Sun"] = "7"
  54.  
  55. function formatDateTime(pattern)
  56.     if type(pattern) == "string" then
  57.         local WI = peripheral.find("WorldInterface")
  58.         if WI then
  59.             local RealDate = WI.getRealDate()
  60.             date["J"], date["n"], date["d"], date["h"], date["M"], date["s"], date["y"] = string.match(RealDate, "^(%w+) (%w+) (%w+) (%w+):(%w+):(%w+) %w+ (%w+)$")
  61.             date["m"] = date["mois"]["nombre"][date["n"]]
  62.             date["n"] = date["mois"]["lettre"][date["n"]]
  63.             date["j"] = date["jour"]["nombre"][date["J"]]
  64.             date["J"] = date["jour"]["lettre"][date["J"]]
  65.             return string.gsub(pattern, "%%(%a)", date)
  66.         else
  67.             error("Aucun WorldInterface branché",2)
  68.             return nil
  69.         end
  70.     else
  71.         error("Le paramètre n'est pas une chaîne caractère",2)
  72.         return nil
  73.     end
  74. end
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement