swini

↗ HN profile [ 23.9 ms ] full profile

Karma: 5
Created: January 8, 2019 (7y ago)
Submissions: 0

You can already do this interactively with PROMPT_COMMAND, e.g. PROMPT_COMMAND='date=$(date +%D);time=$(date +%T)'

7y ago · view thread · ↗