powerline - 如何在电力线 bash 设置中格式化日期和时间

Question

1. 我的 .json 中有以下设置，用于日期、时间、日期设置。

        {
            "function": "powerline.segments.common.time.date",
            "name": "date",
            "args": {
                "format": "%m:%d:%A",
                "istime": false 
            }
        }
   

2. 下面是输出格式。07:27：星期二

3. 有没有办法格式化这个日期、日期、时间、年份的输出？例如，像 07:27:Tue 或 07:27:21:Tue

请分享您的意见。谢谢 ！