Bash:
המרת תאריך למחרוזת
איך לעשות:
# קבלת התאריך והשעה הנוכחיים
current_date=$(date)
echo $current_date
Output:
Thu Mar 3 10:26:41 UTC 2021
# המרת תאריך ושעה למחרוזת מותאמת אישית
formatted_date=$(date +"%d-%m-%Y %H:%M:%S")
echo $formatted_date
Output:
03-03-2021 10:26:41
עיון רחב:
הקשר ההיסטורי
הפקודה date
נוצרה בתחילת ימי מערכות ההפעלה יוניקס ושימשה להצגת והגדרת תאריכים ושעות במערכת.
אלטרנטיבות
קיימות כלים חיצוניים כמו datetime
ב-Python וDate
ב-JavaScript שמאפשרים גמישות רבה יותר בעבודה עם תאריכים, אך לא תמיד יש צורך לקפוץ לשפה אחרת כש-Bash מציע פתרון מהיר ויעיל.
פרטי יישום
בעת שימוש בפקודת date
, שילוב של מילות קוד (format specifiers) כמו %Y
לשנה, %m
לחודש ו-%d` ליום מאפשר התאמה אישית של הפלט. שימוש במרכאות כפולות סביב הפורמט מבטיח שמחרוזות התאריך יופיעו כפי שציינו, בלי שמחרוזות פורמט מיוחדות יופרשו בטעות כפקודות Bash.
ראה גם:
- למידע נוסף על פורמט התאריך ב-Bash, היכנסו ל-GNU Coreutils - Date
- להיכרות עם פורמט הזמן והתאריך המלא ב-Bash, בקרו ב-man7.org