Bash:
Een datum converteren naar een string
Hoe:
Hieronder staan voorbeelden van hoe je een datum naar een string kunt omzetten in Bash:
# Toon de huidige datum en tijd in het standaardformaat
echo $(date)
# Aangepast formaat: YYYY-MM-DD
echo $(date '+%Y-%m-%d')
# Voeg de tijd toe
echo $(date '+%Y-%m-%d %H:%M:%S')
# Zet een bestaande datum om
bestaande_datum='2023-03-17 08:00:00'
date -d "$bestaande_datum" '+%A, %B %d, %Y'
Voorbeelduitvoer voor de bovenstaande commando’s:
Sat Mar 25 12:04:22 PDT 2023
2023-03-25
2023-03-25 12:04:22
Friday, March 17, 2023
Diepe Duik
Unix-achtige systemen gebruiken al vroeg het date
commando voor het afhandelen van datum en tijd. Zijn flexibiliteit maakt een reeks van formaten mogelijk, met dank aan opmaaksymbolen zoals %Y
voor jaar en %d
voor dag.
Er zijn alternatieven voor het date
commando als je een andere technologiestack gebruikt. Bijvoorbeeld, Python heeft datetime.strftime
, terwijl JavaScript het Date
object biedt met methoden zoals toLocaleDateString()
.
Wanneer je datums omzet in Bash, onthoud dat het date
commando kan werken met de huidige timestamp van het systeem of een gegeven datum. Correcte afhandeling van tijdzones is ook cruciaal voor accurate datums.
Zie Ook
- GNU coreutils ‘date’: https://www.gnu.org/software/coreutils/manual/html_node/date-invocation.html
- Geavanceerde Bash-Scripting Gids: https://tldp.org/LDP/abs/html/
- Opmaaksymbolen voor het date commando: https://man7.org/linux/man-pages/man1/date.1.html