bd96d1d800e2e025d23755a7d5e2ae770653f8bf added rendering of user, hostname, & current time, but only allows customization of font, size, color, & spacing.
What other configuration would people like?
Maybe we could add a custom format string that uses values like <user>@<hostname>:<session> & then use search/replace to set the tags when running, but really trying to avoid allowing user-specified time format strings - maybe enum options like localtime, localdate, localdatetime, utctime, etc?
bd96d1d800e2e025d23755a7d5e2ae770653f8bf added rendering of user, hostname, & current time, but only allows customization of font, size, color, & spacing.
What other configuration would people like?
Maybe we could add a custom format string that uses values like
<user>@<hostname>:<session>
& then use search/replace to set the tags when running, but really trying to avoid allowing user-specified time format strings - maybe enum options likelocaltime
,localdate
,localdatetime
,utctime
, etc?