Fish Shell:
Conversione di una data in una stringa
How to:
Per convertire una data in una stringa in Fish Shell, si utilizza il comando date
. Ecco un esempio:
set my_date (date "+%Y-%m-%d")
echo $my_date
Output:
2023-04-01
Per includere ora e minuti:
set my_datetime (date "+%Y-%m-%d %H:%M")
echo $my_datetime
Output:
2023-04-01 12:30
Deep Dive
Convertire una data in una stringa non è una novità. Ogni linguaggio ha la sua logica, Fish Shell inclusa. Prima dell’avvento di Unix e dei suoi comandi date
, si doveva dipendere dal linguaggio specifico o dalle funzioni di sistema.
Alternatives varie includono l’utilizzo di strftime
, presente in linguaggi come C o Python, o anche strumenti come GNU date
per sistemi non-Unix.
L’implementazione di date
in Fish Shell è diretta. Il formato scelto per la stringa determina come sarà convertita la data. Per esempio, %Y-%m-%d
produce una data in formato ISO 8601 (2023-04-01
). Possiamo cambiare il formato come preferiamo, incluso secondo locale specifico (ad esempio: %d/%m/%Y
per 01/04/2023
).
See Also
- Fish Shell Documentation: https://fishshell.com/docs/current/index.html
- GNU Coreutils ‘date’: https://www.gnu.org/software/coreutils/manual/html_node/date-invocation.html
- strftime(3) - Linux manual page: https://man7.org/linux/man-pages/man3/strftime.3.html