From 9b2d7ec9c92275551088d3ce19feb77b36717ae5 Mon Sep 17 00:00:00 2001 From: Stefan Huber Date: Fri, 2 May 2025 09:04:35 +0200 Subject: [PATCH] global: Add date and time formats and prefixes and cleanups - For easier completion-based access add "dateISO" alternative to "diso". - Harmonize format descriptions to single letters for M, D and Y. - Harmonize keys for snippets to reflect the format - Add a datetime snippet with seconds included - Add the German date format D.M.Y --- snippets/global.json | 22 +++++++++++++++++----- 1 file changed, 17 insertions(+), 5 deletions(-) diff --git a/snippets/global.json b/snippets/global.json index 3c238c0b..9b3db8a7 100644 --- a/snippets/global.json +++ b/snippets/global.json @@ -7,7 +7,7 @@ "description": "Snippet to put copyright" }, "diso": { - "prefix": "diso", + "prefix": ["diso", "dateISO"], "body": [ "${CURRENT_YEAR}-${CURRENT_MONTH}-${CURRENT_DATE}T${CURRENT_HOUR}:${CURRENT_MINUTE}:${CURRENT_SECOND}" ], @@ -21,14 +21,14 @@ "dateDMY": { "prefix": "dateDMY", "body": ["${CURRENT_DATE}/${CURRENT_MONTH}/${CURRENT_YEAR}"], - "description": "Put date in (DD/MM/YY) format" + "description": "Put date in (D/M/Y) format" }, "dateMDY": { "prefix": "dateMDY", "body": ["${CURRENT_MONTH}/${CURRENT_DATE}/${CURRENT_YEAR}"], - "description": "Put the date in (m/D/Y) format" + "description": "Put the date in (M/D/Y) format" }, - "time": { + "timeHM": { "prefix": "time", "body": ["${CURRENT_HOUR}:${CURRENT_MINUTE}"], "description": "I give you back the time (H:M)" @@ -38,13 +38,25 @@ "body": ["${CURRENT_HOUR}:${CURRENT_MINUTE}:${CURRENT_SECOND}"], "description": "I give you back the time (H:M:S)" }, - "datetime": { + "datetimeYMDHM": { "prefix": "datetime", "body": [ "${CURRENT_YEAR}-${CURRENT_MONTH}-${CURRENT_DATE} ${CURRENT_HOUR}:${CURRENT_MINUTE}" ], "description": "I give you back the time and date (Y-m-d H:M)" }, + "datetimeYMDHMS": { + "prefix": "datetimeYMDHMS", + "body": [ + "${CURRENT_YEAR}-${CURRENT_MONTH}-${CURRENT_DATE} ${CURRENT_HOUR}:${CURRENT_MINUTE}:${CURRENT_SECOND}" + ], + "description": "I give you back the time and date (Y-m-d H:M:S)" + }, + "dateGER": { + "prefix": "dateGER", + "body": ["${CURRENT_DATE}.${CURRENT_MONTH}.${CURRENT_YEAR}"], + "description": "Put date in (D.M.Y) format" + }, "uuid": { "prefix": "uuid", "body": "${UUID}",